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
L'édition de cet ISBN n'est malheureusement plus disponible.
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.
- ÉditeurSpringer-Verlag
- ISBN 10 0387578269
- ISBN 13 9780387578262
- ReliureBroché
- Langueanglais
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
