Mathematical Computation with Maple V. Ideas and Applications : Proceedings. Lee

The Calculus of Computation Decision Procedures with Applications

Mathematical Computation with Maple V Ideas and Applications Proc

Logic grammars Harvey Abramson, Veronica Dahl. Symbolic computation Artificial i

Computational Models of Learning (Symbolic Computation Artificial Intelligence)

Artificial intelligence and symbolic computation. 8th international conference ;

Numerical and Symbolic Computation Developments and Applications

Search in Artificial Intelligence (Symbolic Computation / Artificial Intelligenc