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.

Saved in:
Bibliographic Details
Published: Berlin ; New York : Springer-Verlag, 1995.
Corporate Author:
Other Authors:
Series:Lecture notes in computer science ; 958
Subjects:
Format: Conference Proceeding Book

MARC

LEADER 00000cam a22000008a 4500
001 531477
005 20110824131200.0
008 950714s1995 gw b 100 0 eng
010 |a  95024613  
020 |a 3540601562 (alk. paper) 
035 |a (upgd41) 95024613 
035 |a (nzNZBN)9272600 
035 |a (OCoLC)32893775 
040 |a DLC  |c DLC 
050 0 0 |a QA76.9.M35  |b I567 1995 
082 0 0 |a 006.3  |2 20 
097 |3 Bib#:  |a 531477 
111 2 |a International Conference AISMC-2  |d (1994 :  |c Cambridge, England) 
245 1 0 |a Integrating symbolic mathematical computation and artificial intelligence :  |b Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /  |c Jacques Calmet, John A. Campbell, eds. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c 1995. 
300 |a x, 275 p. :  |b ill. ;  |c 24 cm. 
440 0 |a Lecture notes in computer science ;  |v 958 
504 |a Includes bibliographical references. 
650 0 |a Computer science  |x Mathematics  |v Congresses. 
650 2 |a Artificial intelligence  |v Congresses. 
700 1 |a Calmet, Jacques. 
700 1 |a Campbell, J. A.,  |d 1940- 
991 |a 1995-10-13 
992 |a Created by , 13/10/1995. Updated by gewh, 24/08/2011. 
999 f f |i 58469d78-c8de-5094-a1ad-acf65e24eee0  |s aca59711-ab96-5c62-a6e6-5619981e9aa7  |t 0 
952 f f |p For loan  |a University Of Canterbury  |b Storage  |c Law Basement  |d Library Storage, Request for Retrieval  |t 0  |e Q 334 .I612 1994  |h Library of Congress classification  |i Book  |m AU04465423B