TY  - BOOK
AU  - Paniagua Arís,Enrique
AU  - Martín Rubio,Fernando
AU  - Sánchez González,Juan Luis
TI  - Logica computacional / 
SN  - 8497321820
U1  - 511.3 
PY  - 2003///
CY  - Madrid : 
PB  - Thomson, 
KW  - Lógica matemática no clásica
KW  - Demostración automática de teoremas
KW  - Inteligencia artificial
ER  -