TY  - BOOK
AU  - Paniagua Arís,Enrique/ Juan Luis Sanchez Gonzales/ Fernando Martin Rubio
AU  - Martín Rubio,Fernando
AU  - Sánchez González,Juan Luis
TI  - Lógica computacional
SN  - 8497321820
U1  - 005.131 P19l 2003
PY  - 2003///
CY  - Madrid
PB  - Thomson
KW  - C++ (Lenguaje de programación para computadores)
KW  - Programación orientada a objetos (Computación)
N1  - Incluye bibliografía, glosario e índice analítico; La sintaxis de la lógica.-- La semántica de la lógica.-- Método axiomático.-- Método interpretativo.-- La demostración automática de teoremas.-- Los agentes
N2  - El primer paso hacia la inteligencia artificial,desde el desarrollo de la lógica fue dado por aristoteles(384-322a.C) cuando comenzó a explicar y a codificar ciertos estilos de razonamiento deductivo que él llamo silogismos
ER  -