automated theorem-prover
Apa itu automated theorem-prover?
automated theorem-prover adalah pembukti teorema berotomat
sumber: Glosarium – Pusat Bahasa Departmen Pendidikan Nasional Republik Indonesia
Tags: Pendidikan
Categorised in: Tak Berkategori
Comments are closed here.