00000cam a22000004a 4500 UP-99796217603068224 Buklod 20230503092542.0 m |o d | ta 080209s1995 xx a rb |100 0|eng d 3540601562 (iLib)UPD-00000177218 DENG eng DMLUC Q 334 I58 1995 International Conference AISMC-2 (2nd 1994 Cambridge, England) Integrating symbolic mathematical computation and artificial intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers Jacques Calmet, John A. Campbell, eds. Berlin Springer-Verlag c1995. x, 275 p. ill. Lecture notes in computer science 958 Artificial intelligence Congresses. Computer science Mathematics Congresses. Calmet, Jacques. Campbell, J. A. 1940- . Book FO Meeting document UPD DENG-II Q 334 I58 1995 Book