Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Theorem Proving in Higher-Order Logics
| Editors: | von Wright, ?.; Gundy, ?.; Harrison, ?.
| Book#: | 2 540 615873
| Publisher: | Springer-Verlag, Berlin
| Volume: | 1125
| Pages: | 399-413
| |
Paper in Conference Proceedings #1039 | |
Title: | Higher-Order Annotated Terms for Proof Search |
---|---|
Authors: | Smaill,AD; Green,I |
Date: | 1996 |
Presented: | |
Keywords: |