Search alternatives:
languages » language
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Certifying a Tree Automata Completion Checker -- Automated Induction with Constrained Tree Automata...”
Cover Image
Read Now

2
by Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 2. Logical Background -- 3. Tableau Model Elimination -- 4. Theory Reasoning...”
Cover Image
Read Now

3
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... predicate logic as metatheory -- Model building and interactive theory discovery -- Link deletion in model...”