J m lorente tallada (1 Ergebnisse)

Zustand: Muy bueno. : 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. EAN: 9788485630479 Tipo: Libros Categoría: Tecnología Título: Prueba automática de teoremas Autor: J. M. Lorente Tallada Idioma: es-ES Páginas: 127.…