Theorem Proving In Higher Order Logics: 21St International Conference, Tphols 2008, Montreal, Canada, August 18 21, 2008, Proceedings (Lecture Notes Computer Science And General Issues)

Otmane Ait Mohamed, Cesar Munoz, Sofisne Tahar

Edité par Springer, 2008
Langue: anglais
Neuf(s) Etat : New Couverture souple

Vendeur Books in my Basket, New Delhi, Inde

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 10 septembre 2010

Afficher tous les articles du vendeur


Neuf(s) - Couverture souple

Prix: EUR 71,45 Autre devise
EUR 16,30 expédition depuis Inde vers France Destinations, frais et délais

Actuellement indisponible sur AbeBooks.fr

Trouvez cet article sur AbeBooks.com

Aller sur AbeBooks.com