2 search results - page 1 / 1 » aisc 1992 |
AISC
2010
Springer
13 years 11 months ago
2010
Springer
We provide a perspective on the current state and possible future of links between symbolic mathematical computing and artificial intelligence, on the occasion of the 10th biennial...
AISC
1992
Springer
13 years 10 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...