Buy Used and New KlausSchneider Books

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540745907

Format: Paperback (401 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later