ISBN 3540283722 books & textbook

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3603)

Hurd, Joe Melham, Tom

Springer /2005-08-08 Paperback / 424 Pages
isbn-10: 3540283722 / isbn-13: 9783540283720