MPG.eBooks - Search Results - Algebra

Cover Image

1

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search -- Proof Search in Minimal Logic...”

Cover Image

2

Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Published 2003

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”