por J. M. Lorente Tallada · ISBN 9788485630479
IVA incluido
Compra Protegida con Mercado Pago
El producto no llega o no es lo que pediste, Mercado Pago te devuelve tu dinero.
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
Llegamos a CDMX, Guadalajara, Monterrey, Tijuana, Mérida, Puebla y todo el país.
«Prueba automática de teoremas» es la monografía de J. M. Lorente Tallada, publicada en 1982, con 127 páginas, en español.
El libro estudia la demostración automática de teoremas y describe los fundamentos teóricos y los aspectos prácticos de la automatización del razonamiento deductivo, con atención a los métodos y técnicas empleados en este campo.
Obra de interés para estudiantes y profesionales de informática y matemáticas que quieran conocer la lógica computacional aplicada a la demostración automática.
