TY  - BOOK
AU  - Paniagua Arís,Enrique
AU  - Sánchez González,Juan Luis
AU  - Martín Rubio,Fernando
TI  - Lógica computacional
SN  - 8497321820
PY  - 2003///
CY  - Madrid
PB  - Thomson
KW  - Lógica simbólica y matemática
KW  - Demostración automática de teoremas
KW  - Inteligencia artificial
N1  - MSC 03B25, 68T05, 68Txx; Contiene referencias bibliográficas e índice
N2  - Índice: 1. La sintaxis de la lógica; 2. La semántica de la Lógica; 3. El método axiomático; 4. El método interpretativo; 5. LA demostración automática de teoremas; 6. Los agentes inteligentes y la Lógica. Bibliografía. Indice
ER  -