Search alternatives:
automation theory » estimation theory, animation theory, automated theory
automatic theory » automatic theorem, axiomatic theory, automated theory
languages » language
automata » automated
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Proofs in Category Theory -- Formal Global Optimisation with Taylor Models -- A Purely Functional Library...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Automated Deduction: Putting Theory into Practice -- Finding Tractable Formulas in NNF -- The Taming...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning...”