Frausto Solís, Juan <br/><br/>
Fundamentos de lógica computacional 

 - 212 páginas 
 -  Papel 
<br/><br/>Complejidad computacional, cap.4 Fundamentos de la lógica de hoare, cap.10 Introducción a los métodos formales, cap.9 Introducción, cap.1 Lógica de predicados, cap.3 Lógica modal, cap.8 Lógica proposicional, cap.2 Lógica temporal, cap.7 Regla de una literal, cap.6 Resolución, cap.5 
<br/><br/><label>ISBN: </label>968-24-6100-6 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computadores<br/>Logica-computadores
<br/><br/><label>Dewey Class. No.: </label>004 / F659f