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.

Langue
anglais
ISBN 10 
0387584501
ISBN 13 
9780387584508
Reliure
Relié
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

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