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

7. TPHOLs 1994: Valletta, Malta

Thomas F. Melham, Juanito Camilleri (Eds.): Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Lecture Notes in Computer Science 859 Springer 1994, ISBN 3-540-58450-1 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)