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

12. TPHOLs 1999: Nice, France

Yves Bertot, Gilles Dowek, André Hirschowitz, C. Paulin, Laurent Théry (Eds.): Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings. Lecture Notes in Computer Science 1690 Springer 1999, ISBN 3-540-66463-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 21:16:18 2009 by Michael Ley (ley@uni-trier.de)