Take three and pay for only two with coupon TRIPLEEN
Hand-checked
Free SHIPPING
Second life
Prueba automática de teoremas
by J. M. Lorente Tallada · · 127 pages
8 people viewing thisViewed 0 times
4.3
Pages: 127 pagesAuthor: J. M. Lorente TalladaPublisher: Publisher to be confirmedFormat: PaperbackLanguage: es-ESRelease date: 1/1/1982ISBN: ISBN 9788485630479
Choose the condition
What each condition includes
AcceptableVisible marks on cover. Complete, intact content and inspected.
GoodLight marks on cover. Clean pages and spine in good shape.
Very GoodBarely noticeable marks. Pristine interior. Almost no signs of use.
Like NewNo visible marks. Cover, spine and pages flawless.
NewBrand-new book, unused. Ordered directly from the publisher.
New condition items ship only to the UK, 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.
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
Take 3, pay for only 2 · TRIPLEEN
-
VAT included