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

6. HUG 1993: Vancouver, BC, Canada

Jeffrey J. Joyce, Carl-Johan H. Seger (Eds.): Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings. Lecture Notes in Computer Science 780 Springer 1994, ISBN 3-540-57826-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Mon May 20 16:04:04 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