Login / Signup
A Syntactic Proof of a Conjecture of Andrzej Wronski.
Tomasz Kowalski
Published in:
Reports Math. Log. (1994)
Keyphrases
</>
natural language
information systems
semantic role labeling
linear logic
syntactic structures
databases
information retrieval
similarity measure
theorem proving
natural language text
semantic representation
syntactic analysis