Logic for problem solving
By: Robert Kowalski.
Series: Artificial intelligence series; The Computer science library
Publisher: Elsevier North Holland
Published: 1979
Place of publication: New York
Language: eng
Number of pages: 287
Subjects: Problem solving; Computer programming; Logic, Symbolic and mathematical
Notes: Bibliography: p. 247-260.
Includes index.