Login / Signup
SLI: a tool for easing the understanding of automated proof construction.
José Alberto Maestro Prieto
María Aránzazu Simón Hurtado
Published in:
Inroads (2013)
Keyphrases
</>
automated analysis
theorem proving
semi automated
construction process
database
data driven
semi automatic
theorem prover
computational tools
automated theorem provers
data sets
case study
fully automated
linear logic