Paniagua Arís, Enrique
Logica computacional /
Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio
- Madrid : Thomson, 2003
- 205 p. ;
8497321820
Lógica matemática no clásica.
Demostración automática de teoremas.
Inteligencia artificial.
511.3 / P164