Kowalski, Robert <br/><br/>
Logic for problem solving 
Robert Kowalski 
 - New York :  North-Holland,  1979 
 - 287 p. :  il. 
 - The computer science library. Artificial intelligence series  ; 7 .
<br/><br/><label>ISBN: </label>4444003657 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INTELIGENCIA ARTIFICIAL<br/>LOGICA SIMBOLICA Y MATEMATICA<br/>COMPUTADORES ELECTRONICOS DIGITALES
<br/><br/><label>Dewey Class. No.: </label>006.3  / K88