Logic for problem solving
Livre Ecrit par: Kowalski, Robert ; Publié en: 1979
Edition:
Amsterdam,Oxford:
North-Holland
North-Holland
Langue:
Anglais
Collation:
287 p.
;24 cm.
ISBN: 0444003657
Mots clés:
Ordinateurs
:Programmation
Programmation (mathématiques)
Logique symbolique et mathématique
résolution de probléme
Note: Index p. 261
