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

1
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...”