Advanced Proof Viewing in ProofTool.

Tomer Libal Martin Riener Mikheil Rukhaia

Published in: UITP (2014)

Keyphrases

theorem prover
linear logic
data mining
artificial intelligence
database systems
learning environment
preprocessing
expert systems