Sign in
Math counts: Arguments, proofs, and ...
Peter B. Henderson
Published in:
ACM SIGCSE Bull. (2009)
Keyphrases
</>
theorem prover
theorem proving
equational theories
formal proof
database
machine learning
tutoring system
automated theorem provers
databases
information retrieval
learning algorithm
data structure
multi agent systems
natural deduction
legal argument