Buy 3, pay for 2 — use code TRIPLEUS at checkout.
Prueba automática de teoremas
4.3
TecnologíaISBN | 9788485630479
-
VAT included
Free SHIPPING
Free returns within 30 days
Pay with:
Available offers by condition
New condition items ship with free shipping on orders from $15. All other conditions always include free shipping with no minimum order.
* All our products are carefully inspected to support sustainable culture.
Hamelyn quality guarantee
Every product is inspected, cleaned and verified before shipping. If it's not what you expected, we'll refund your money.
Product details
Pages: 127 pages
Author: J. M. Lorente Tallada
Publisher: Publisher to be confirmed
ISBN: 9788485630479
Format: Paperback
Language: es-ES
Release date: 1/1/1982
ISBN: 9788485630479
Synopsis of Prueba automática de teoremas
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.
More titles for fans of J. M. Lorente Tallada
Recommended by Julia
Best-selling books in Software Engineering
Best sellers
Last unit!4 people have it in their cart
-
VAT included