Login / Signup
Ellipsis in a Labelled Deduction System.
Ruth Kempson
Published in:
Log. J. IGPL (1995)
Keyphrases
</>
inference rules
theorem proving
automated deduction
theorem prover
data mining
database
data sets
data structure
automated theorem proving
computer algebra