Validating Back-links of FOLID Cyclic Pre-proofs.

Sorin Stratulat

Published in: CL&C (2018)

Keyphrases

theorem prover
link analysis
database
theorem proving
image processing
decision procedures
neural network
expert systems
natural deduction