Socratic Proofs.

Andrzej Wisniewski

Published in: J. Philos. Log. (2004)

Keyphrases

tutoring system
theorem proving
theorem prover
equational theories
formal proof
formal proofs
mathematical proofs
databases
objective function
evolutionary algorithm
computer programs
decision procedures
automated theorem proving
natural deduction
automated theorem provers