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:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20190807174330.0
008 120229s1995 gw||||| |||| 00| 0 eng d
952 |0 0  |1 0  |4 0  |6 C_LNCS_V__958_000000000000000  |7 0  |9 5196  |a MMA  |b MMA  |c LN  |d 2008-06-09  |e Asoc. Coop. FAMAF  |l 0  |o C LNCS v. 958   |p 12292  |r 2013-08-21 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 3878  |d 3878 
020 |a 3540601562 
040 |a AR_CdUFM 
111 2 |a AISMC  |n (2º :   |c Cambridge, United Kingdom)  |d 1994 :   |9 23122 
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 ed. Jacques Calmet, John A. Campbell. 
260 |a Berlin :   |b Springer,   |c 1995. 
300 |a x, 275 p. :  |b il. ;  |c 24 cm. 
490 0 |a Lecture notes in computer science ;   |v v. 958 
490 0 |a LNCS ;  |v v. 958 
650 4 |a Algebraic manipulation. 
650 4 |a Manipulación algebraica. 
650 4 |a Artificial intelligence. 
650 4 |a Inteligencia artificial. 
650 4 |a Discrete mathematics. 
650 4 |a Matemática discreta. 
700 1 |9 2584  |a Calmet, Jacques,  |d 1941-,  |e ed. 
700 1 |9 2616  |a Campbell, John A.,  |d 1940-,  |e ed. 
942 |c LIBRO  |2 CCS 
945 |a BA 
945 |a MCR  |d 2012-02-29