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
Categories:
Year:
1979
Publisher:
Elsevier North Holland
Language:
english
Pages:
298
ISBN 10:
0444003681
ISBN 13:
9780444003683
Series:
Artificial intelligence series, The Computer science library
File:
DJVU, 3.76 MB
IPFS:
,
english, 1979