Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems.

Published in: PxTP (2017)

Keyphrases

information systems
theorem proving
decision procedures
formal proof
real time
learning environment
semantic web
building blocks
retrieval systems
group members