TY  - GEN
AU  - Frausto Solís,Juan
AU  - Sánchez Ante,Gildardo
TI  - Fundamentos de lógica computacional
SN  - 968-24-6100-6
U1  - 004 / F659f 
PY  - 2000///
CY  - México
PB  - Trillas
KW  - Computadores
KW  - Logica-computadores
N1  - 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
ER  -