Articles liés à Higher Order Logic Theorem Proving and Its Applications:...
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 - Couverture souple
Synopsis
Book by Joyce Jeffrey J Seger CarlJohan H
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Higher Order Logic Theorem Proving and Its Applications:...
Image d'archives
Higher Order Logic Theorem Proving and Its Applications : Sixth International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993: Proceedings
Edité par
Springer, 1994
ISBN 10 : 0387578269
ISBN 13 : 9780387578262
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 68270332-75
Acheter D'occasion
EUR 65,27
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)