Search alternatives:
"symbol" » "symbols", "symbolic"
Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Subjects: “...Symbolic and Algebraic Manipulation...”
Cover Image
Read Now

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- George Boole, a Forerunner of Symbolic Computation -- Artificial Intelligence...”
Cover Image
Read Now

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Symbolic computation and teaching -- Analytica — An experiment in combining theorem proving...”
Cover Image
Read Now

4
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Artificial intelligence and symbolic mathematical computations -- Qualitative modeling of physical...”
Cover Image
Read Now

5
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... proving -- Combining theorem proving and symbolic mathematical computing -- Tools for solving problems...”