Postingan

PENALARAN

Inferensi dalam Logika Order Pertama

REPRESENTASI PENGETAHUAN LOGIKA PREDIKAT