The following pages link to (Q3726086):
Displaying 4 items.
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic (Q3145144) (← links)
- (Q4443201) (← links)