The following pages link to (Q3509041):
Displaying 4 items.
- A new methodology for developing deduction methods (Q1037405) (← links)
- Using resolution for testing modal satisfiability and building models (Q1610669) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)