Postingan

Menampilkan postingan dari 2016

PENALARAN

Inferensi dalam Logika Order Pertama

REPRESENTASI PENGETAHUAN LOGIKA PREDIKAT