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

17. TPHOLs 2004: Park City, Utah, USA

Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (Eds.): Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Lecture Notes in Computer Science 3223 Springer 2004, ISBN 3-540-23017-3 BibTeX

Copyright © Sat May 16 23:43:56 2009 by Michael Ley (ley@uni-trier.de)