The following pages link to (Q4380155):
Displaying 9 items.
- A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- An automated prover for Zermelo-Fraenkel set theory in Theorema (Q2457343) (← links)
- Automated deduction for many-valued logics (Q2751372) (← links)
- (Q2999186) (← links)
- (Q3075241) (← links)
- Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques (Q3682397) (← links)
- (Q3726086) (← links)