Login / Signup
Isabelle/jEdit --- a Prover IDE within the PIDE framework
Makarius Wenzel
Published in:
CoRR (2012)
Keyphrases
</>
theorem prover
artificial intelligence
data sets
information systems
probabilistic model
theoretical framework
logical framework
databases
data mining
computer vision
case study
conceptual framework
theorem proving