-
RecordNumber
5155
-
Author
Kowalski, Robert
-
Title
Logic for problem solving
-
Author Statement
Robert Kowalski
-
Publication
Elsevier North Holland
-
Publication Year
c1979
-
Collation
287 p. ill. 24 cm
-
Series
Artificial intelligence series , The Computer science library
-
Notes
Includes index , Bibliography: p. 247-260.
-
Subject
Problem solving. , Computer programming. , Logic, Symbolic and mathematical.
-
Main class
519.7
-
Link To Document :
