Algorithms for Generation in Lambek Theorem Proving.

Erik-Jan van der Linden Guido Minnen

Published in: ACL (1990)

Keyphrases

theorem proving
learning algorithm
theorem prover
automated reasoning
decision procedures
first order logic
automated theorem proving
term rewriting