Paniagua Aris, Enrique
Lógica computacional / Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio - Madrid : Thomson 2003. - 205 p. : il. ; 24 cm.
Incluye índice
Bibliografía: p. 199-200
8497321820
Demostración automática de teoremas
Inteligencia artificial
Lógica matemática no clásica
511.3 / P192
Lógica computacional / Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio - Madrid : Thomson 2003. - 205 p. : il. ; 24 cm.
Incluye índice
Bibliografía: p. 199-200
8497321820
Demostración automática de teoremas
Inteligencia artificial
Lógica matemática no clásica
511.3 / P192