Items related to 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 (Lecture Notes in Computer Science) - Hardcover

T.F. Melham

 
9780387584508: Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science)
Hardcover
ISBN 10: 0387584501 ISBN 13: 9780387584508
Publisher: Springer Verlag

This specific ISBN edition is currently not available.

  • PublisherSpringer Verlag
  • ISBN 10 0387584501
  • ISBN 13 9780387584508
  • BindingHardcover
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540584506: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859)

Featured Edition

ISBN 10:  3540584501 ISBN 13:  9783540584506
Publisher: Springer, 1994
Softcover