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

1
Published 2014
Springer International Publishing
Table of Contents: “... -- Count and Forget: Uniform Interpolation of SHQ- Ontologies -- Coupling Tableau Algorithms for Expressive...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of verified software -- The tableau-based theorem prover 3 T A P for multiple-valued logics -- Analytica — A...”