por J. M. Lorente Tallada · ISBN 9788485630479
IVA incluido
¡Última unidad!4 personas lo tienen en su carrito
Métodos de pago disponibles
Más de 2 millones de productos vendidos
Y más de 800.000 títulos en stock
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.
