Logic for problem solving /
Kowalski, Robert.
Logic for problem solving / Robert Kowalski. - New York : Elsevier North Holland, c1979. - 287 p. : ill. ; 24 cm. - Artificial intelligence series The Computer science library .
Includes index.
Bibliography: p. 247-260.
0444003657
79022659
Problem solving.
Computer programming.
Logic, Symbolic and mathematical.
QA63 / .K68
519.7
Logic for problem solving / Robert Kowalski. - New York : Elsevier North Holland, c1979. - 287 p. : ill. ; 24 cm. - Artificial intelligence series The Computer science library .
Includes index.
Bibliography: p. 247-260.
0444003657
79022659
Problem solving.
Computer programming.
Logic, Symbolic and mathematical.
QA63 / .K68
519.7