Automated deduction Packages

condet

Condensed Detachment

condensed detachment modus ponens ATP theorem proving automated reasoning automated deduction logic calculus

2.0.1 • Published 5 years ago