Biblioteca Juan Alberto Aragón Bateman

Your cart is empty.
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
  • Síganos en

Tel: (+57 1) 347 23 11 Carrera 9 Bis No. 62 - 43 Bogotá - Colombia eMail: info@konradlorenz.edu.co Rutas de acceso a la universidad (Google Maps) Carácter académico: Institución Universitaria. Personería Jurídica por Resolución 18537 del 4 de noviembre de 1981 del Ministerio de Educación Nacional. Institución de Educación Superior sujeta a inspección y vigilancia por el Ministerio de Educación Nacional (Art. 2.5.3.2.10.2, Decreto 1075 de 2015).
Vigilada Mineducación