Bundy, Alan, <br/><br/>
The computer modelling of mathematical reasonign / 
Alan bundy 
 - 403 páginas 
<br/><br/><label>ISBN: </label>0-12-141250-4  (en estuche) 0-12-141352-0  (rustica) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matemáticas--Procesamiento de datos<br/>Lógica simbólica y matemática<br/>Demostración automática de teoremas
<br/><br/><label>LC Class. No.: </label>QA76.95  / B85