Prenez-en trois et n'en payez que deux avec le coupon TRIPLEFR
Prueba automática de teoremas
4,3
TecnologíaISBN | 9788485630479
-
TVA incluse
Livraison GRATUITE
Retour gratuit sous 30 jours
Payer avec :
Offres disponibles par état
L'état Neuf n'est expédié qu'en France, avec livraison gratuite à partir de 15 €. Les autres états bénéficient toujours de la livraison gratuite, sans minimum d'achat.
* Tous nos produits sont soigneusement vérifiés pour favoriser une culture durable.
Garantie qualité Hamelyn
Chaque produit est inspecté, nettoyé et vérifié avant l'expédition. S'il ne correspond pas à vos attentes, nous vous remboursons.
Détails du produit
Pages: 127 pages
Auteur: J. M. Lorente Tallada
Éditeur: Éditeur à confirmer
ISBN: 9788485630479
Format: Broché
Langue: es-ES
Date de publication: 1/1/1982
ISBN: 9788485630479
Synopsis de 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.
Plus de titres pour les fans de J. M. Lorente Tallada
Recommandé par Julia
Livres les plus vendus en Génie logiciel
Meilleures ventes
Dernière unité !4 personnes l'ont dans leur panier
-
TVA incluse