Kowalski, Robert <br/><br/>
Logic for problem solving /  
Robert Kowalski.  
 - New York :   Elsevier,   1979 
 - 260 p. 
 - Artificial intelligence series ;   7 .
<br/><br/><label>ISBN: </label>0444003681 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROBLEM SOLVING<br/>ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING<br/>LOGIC SYMBOLIC<br/>MATHEMATICA<br/>PROGRAMACION DE COMPUTADORAS<br/>PROBLEMAS-RESOLUCION<br/>LOGICA SIMBOLICA<br/>LOGICA MATEMATICA
<br/><br/><label>Universal Decimal Class. No.: </label>004.42 K849