Logic for problem solving
Robert A. Kowalski
Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming
Catégories:
Année:
1979
Editeur::
Elsevier North Holland
Langue:
english
Pages:
298
ISBN 10:
0444003681
ISBN 13:
9780444003683
Collection:
Artificial intelligence series, The Computer science library
Fichier:
DJVU, 3.76 MB
IPFS:
,
english, 1979