The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Publication Details:
Book: 9th Int Conf on Theorem proving in Higher Order Logics (LNCS)
Editors:von Wright, J.; Gundy, J.; Harrison, J.
Book#: 3540615873
Publisher:Springer-Verlag, Berlin/London
Volume:1125
Pages: 399-414

Paper in Conference Proceedings #1056

Title:Higher-Order Annotated Terms for Proof Search
Authors:Smaill,AD; Green,I
Date: 1996
Presented:
Keywords:








[Search These Pages] [DAI Home Page] [Comment]