17/11/2017 4:47:00 17/11/2017 4:47:00 Ghani Rozaqi

5 Ghani Rozaqi 17/11/2017 4:47:00 automated theorem-prover automated theorem-prover

automated theorem-prover

Apa itu automated theorem-prover?

automated theorem-prover adalah pembukti teorema berotomat

sumber: Glosarium – Pusat Bahasa Departmen Pendidikan Nasional Republik Indonesia