Dual Tableaux: Foundations, Methodology, Case Studies

Dual Tableaux: Foundations, Methodology, Case Studies
Details
- OL Work ID
- OL16921017W
Subjects
Mathematical Logic and Formal LanguagesSymbolic and mathematical LogicComputer scienceLogicMathematicsMathematical Logic and Foundations