Login / Signup
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers.
Paul Tarau
Published in:
PADL (2019)
Keyphrases
</>
theorem prover
first order logic
machine learning
inference rules
probabilistic model
logical framework
automated deduction
expert systems
theorem proving
automated reasoning
interval valued
computer algebra