Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
Berlin
Springer-Verlag
c1995
x, 275 p.: ill.; 24 cm
Lecture notes in computer science; 859
Includes bibliographical references
، Computer science-- Mathematics-- Congresses
، Artificial intelligence-- Congresses
QA
76
.
9
.
M35
.
I567
1995
AU
Jacques Calmet, John A. Campbell, eds
AU .seuqcaJ ,temlaC
AU .A .J ,llebpmaC 1940-
TI
International Conference AISMC-2 )1994: Cambridge, England(