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