Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... and resolution as decision procedure -- Static analysis of Prolog with cut -- A new type theory for representing...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of infinite sets of terms and its applications -- Unification in order-sorted type theory -- Infinite...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Formulae -- Permutation Problems and ChannellingConstraints -- Simplifying Binary Propositional Theories...”
Cover Image
Read Now

4
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Description Logics and Semantic Web -- Reasoning with Expressive Description Logics: Theory...”
Cover Image
Read Now

5
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... with Extra Variables into Unconditional Systems -- Cancellative Superposition Decides the Theory of Divisible...”