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: |