Presupposition and Abduction in Type Theory (1995)
by
Peter Krause
| Venue: | Siekmann Edinburgh Conference on Computational Logic and Natural Language Processing |
| Citations: | 12 - 0 self |
Document Versions
| Presupposition and Abduction in Type Theory –Peter Krause — 1995 — Siekmann Edinburgh Conference on Computational Logic and Natural Language Processing |
