Kowalski,, Robert Artificial intelligence series; Logic for problem solving / Robert Kowalski

Logic for problem solving / Robert Kowalski . - New York : North-Holland, cop. 1979 . - 287 p. : il. 24 cm . - (Artificial intelligence series; 7)
0-444-00365-7