Login / Signup
Proofs, Proofs, Proofs, and Proofs.
Manfred Kerber
Published in:
AISC/MKM/Calculemus (2010)
Keyphrases
</>
theorem proving
theorem prover
formal proofs
equational theories
expert systems
decision procedures
natural deduction
data sets
machine learning
decision making
computational complexity
relational databases
data model
input image
computer programs
cut elimination