Articles liés à Higher Order Logic Theorem Proving and Its Application:...

Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings - Couverture rigide

 
9780387584508: Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings
Couverture rigide
ISBN 10 : 0387584501 ISBN 13 : 9780387584508

L'édition de cet ISBN n'est malheureusement plus disponible.

  • ISBN 10 0387584501
  • ISBN 13 9780387584508
  • ReliureRelié
  • 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

9783540584506: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Edition présentée

ISBN 10 :  3540584501 ISBN 13 :  9783540584506
Editeur : Springer, 2008
Couverture souple