Leve três e pague apenas dois com o cupão TRIPLOPT
por J. M. Lorente Tallada · · 127 pág
* Todos os nossos produtos são revisados cuidadosamente para promover uma cultura sustentável.
Cada produto é revisto, limpo e verificado antes do envio. Se não for o que esperava, devolvemos o dinheiro.
Este libro, titulado 'Prueba automática de teoremas', es una exploración del campo de la demostración automática de teoremas. Publicado en 1982, el libro consta de 127 páginas y está escrito en español. Es una obra que profundiza en los aspectos teóricos y prácticos de la automatización de la demostración de teoremas, ofreciendo una visión detallada de los métodos y técnicas utilizados en este campo.
