NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
A Labelled Analytic Theorem Proving Environment for Categorial Grammar
Saturnino F. Luz-Filho
|
Patrick Sturt
|
Paper Details:
Month: September 20-24
Year: 1995
Location: Prague and Karlovy Vary, Czech Republic
Venue:
IWPT |
WS |
SIG: SIGPARSE
Citations
URL
No Citations Yet
http://www.mpi-sb.mpg.de/guide/staff/ohlbach/igpl/Bulletin.html
Field Of Study