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

8. TPHOLs 1995: Aspen Grove, UT, USA

E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss (Eds.): Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings. Lecture Notes in Computer Science 971 Springer 1995, ISBN 3-540-60275-5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Sat May 18 19:51:45 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page