Sign in
How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations.
Helmut Horacek
Published in:
ExaCt (2007)
Keyphrases
</>
domain independent
domain specific
computer aided
semi automated
data mining
automated theorem provers
fully automated
user requirements
databases
genetic algorithm
general purpose
theorem proving
application specific
symbolic representation