Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /

Bibliographic Details
Corporate Author: AISMC Cambridge, United Kingdom
Other Authors: Calmet, Jacques, 1941- (ed.), Campbell, John A., 1940- (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1995.
Series:Lecture notes in computer science ; v. 958
LNCS ; v. 958
Subjects: