ISBN 9783540406648 books & textbook

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758)

Basin, David Wolff, Burkhart

Springer /2003-08-21 Paperback / 376 Pages
isbn-10: 3540406646 / isbn-13: 9783540406648