Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...-Steiner Theorem -- Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra -- A Note...”
Cover Image
Read Now

2
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... to interval constraint problems -- An algebraic approach to knowledge-based modeling -- Intelligent user...”
Cover Image
Read Now

3
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
Read Now

4
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... scenarios -- Data types in subdefinite models -- On theorem-proving in Horn theories with built-in algebras...”