MPG.eBooks - Search Results - formal languages and ((automated theory) OR (automated theorem))

Search alternatives:
automated theorem » automata theory
automated theory » automata theory , automatic theorem , automated factory
languages » language

by Fitting, Melvin
Published 1990

Springer New York

Table of Contents: “...5.5 Hintikka’s Lemma -- 5.6 Parameters -- 5.7 The Model Existence Theorem -- 5.8 Applications...”

by Fitting, Melvin
Published 1996

Springer New York

Table of Contents: “... Propositional Logic—Semantics -- 2.4 Boolean Valuations -- 2.5 The Replacement Theorem -- 2.6 Uniform Notation...”

Published 2003

Physica

Table of Contents: “... of Non-classical Logics, and Applications to Automated Theorem Proving -- An Algebraic Approach...”