Logic for problem solving /
Kowalski, Robert.
Logic for problem solving / Robert Kowalski.; Edit. Nils J. Nilsson. - New York : Elsevier North Holland, 1979. - 287 p. : ill. ; 24 cm. - Artificial intelligence series The Computer science library .
0-444-00365-7 0-444-00368-1
Problem solving
Computer programming
Logic, Symbolic and mathematical.
Logic for problem solving / Robert Kowalski.; Edit. Nils J. Nilsson. - New York : Elsevier North Holland, 1979. - 287 p. : ill. ; 24 cm. - Artificial intelligence series The Computer science library .
0-444-00365-7 0-444-00368-1
Problem solving
Computer programming
Logic, Symbolic and mathematical.