Search alternatives:
tables algorithms » tableau algorithms, trees algorithms, tableau algorithm
Cover Image
Read Now

1
Published 1983
Springer Netherlands
Table of Contents: “... to Standard First-order Semantics -- I.4. Higher-order Logic -- I.5. Predicative Logics -- I.6. Algorithms...”
Cover Image
Read Now

2
by Nelson, R.J.
Published 1989
Springer Netherlands
Table of Contents: “.... Explanation -- 3. Free Will -- 4. Mental Occurrents -- Table of Figures, Formulas, and Tables -- Notes...”
Cover Image
Read Now

3
Published 1981
Springer Netherlands
Table of Contents: “...Abstraction operator -- Algebraic structures -- Algorithms -- Analyticity -- Antinomies...”
Cover Image
Read Now

4
by Gabbay, Dov M.
Published 2003
Elsevier North Holland
Table of Contents: “... -- Chapter 14. Modal description logics -- Chapter 15. Tableau decision algorithms for modal description...”