ملف
Logique de prédicats
متطلبات الإكمال
présentation du formalisme de représentation de connaissance logique des prédicats
les formes normales
l'unification
démonstration par refutation
programme logique
تم تحميلها 7/11/22، 20:48