MPG.eBooks - Search Results - Algebra

Cover Image

1

Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “...Invited Presentations -- Interactive Mathematical Documents -- Algebra and Geometry -- An Inductive...”

Cover Image

2

Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... scenarios -- Data types in subdefinite models -- On theorem-proving in Horn theories with built-in algebras...”