por J. M. Lorente Tallada · ISBN 9788485630479
IVA incluido
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
«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.
