Title: Integrating symbolic mathematical computation and artificial intelligence
First published: 1995
Subjects: Congresses, Mathematics, Computer science, Artificial intelligence
LC classification: QA76.9.M35 I567 1995