Logic for problem solving
كتاب من تأليف: Kowalski, Robert ; نشر في: 1979
طبعة:
Amsterdam,Oxford:
North-Holland
North-Holland
لغة:
إنجليزية
الوصف المادي:
287 p.
;24 cm.
ISBN: 0444003657
الكلمات الدالة:
Ordinateurs
:Programmation
Programmation (mathématiques)
Logique symbolique et mathématique
résolution de probléme
ملاحظة: Index p. 261