dblp.uni-trier.de www.uni-trier.de

13. TPHOLs 2000: Portland, Oregon, USA

Mark Aagaard, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Lecture Notes in Computer Science 1869 Springer 2000, ISBN 3-540-67863-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Wed Nov 25 19:03:28 2009 by Michael Ley (ley@uni-trier.de)