MPG.eBooks - Search Results - formal languages and ((automatic theory) OR (automation theory))

Search alternatives:
automation theory » automata theory , estimation theory , animation theory
automatic theory » automatic theorem , automata theory , axiomatic theory
languages » language

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering...”

Published 1995

Springer Vienna

Table of Contents: “... in neural networks theory -- References -- On a general notion of a hull -- 1 Introduction -- 2 Basic...”

Published 1997

Springer Berlin Heidelberg

Table of Contents: “...Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets -- Extended...”

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero...”

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Regular Heptagon with Automated Proof of Its Correctness -- Proving Geometric Theorems by Partitioned...”