-Calculus.

Benedetto Intrigila Richard Statman

Published in: TLCA (2007)

Keyphrases

automated deduction
computer algebra
database
machine learning
metadata
three dimensional
theorem prover
automated theorem proving
natural deduction