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

 
9780387578262: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993

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 demande

Vous 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

Autres éditions populaires du même titre

9783540578260: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

Edition présentée

ISBN 10 :  3540578269 ISBN 13 :  9783540578260
Editeur : Springer, 2008
Couverture souple