Logic for problem solving
Kowalski, Robert
Logic for problem solving Robert Kowalski - New York : North-Holland, 1979 - 287 p. : il. - The computer science library. Artificial intelligence series ; 7 .
4444003657
INTELIGENCIA ARTIFICIAL
LOGICA SIMBOLICA Y MATEMATICA
COMPUTADORES ELECTRONICOS DIGITALES
006.3 / K88
Logic for problem solving Robert Kowalski - New York : North-Holland, 1979 - 287 p. : il. - The computer science library. Artificial intelligence series ; 7 .
4444003657
INTELIGENCIA ARTIFICIAL
LOGICA SIMBOLICA Y MATEMATICA
COMPUTADORES ELECTRONICOS DIGITALES
006.3 / K88