Tools

LEADER 01573cam 2200373 a 4500

001 ocm32893775;

003 OCoLC;

005 20141212120840.0;

008 950714s1995 gw a b 100 0 eng ;

010 a| 95024613;

020 a| 3540601562 (alk. paper);

035 a| (Sirsi) o32893775;

035 a| (OCoLC)32893775;

049 a| EREE;

050 00 a| QA76.9.M35b| I567 1994;

082 00 a| 006.32| 20;

111 2 a| International Conference AISMC-2d| (1994 :c| Cambridge, England)?| UNAUTHORIZED;

245 10 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.).;

300 a| x, 275 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 958;

504 a| Includes bibliographical references.;

650 0 a| Computer sciencex| Mathematicsv| Congresses.=| ^A248247;

650 0 a| Artificial intelligencev| Congresses.=| ^A46484;

700 1 a| Calmet, Jacques.=| ^A206650;

700 1 a| Campbell, J. A.,d| 1940-=| ^A158822;

830 0 a| Lecture notes in computer sciencev| 958.=| ^A466336;

596 a| 1;

998 a| 587795;

999 a| QA76.9.M35 I567 1994w| LCc| 1i| 30372009215929d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $46.55r| Ys| Yt| JGESBKu| 11/2/1995x| BOOKz| JSTACKSo| .STAFF. 0;

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.).

Author/creator	International Conference AISMC-2
Other author	Calmet, Jacques.
Other author	Campbell, J. A., 1940-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1995.
Description	x, 275 pages : illustrations ; 24 cm.
Subjects	Computer science--Mathematics. --Congresses. Artificial intelligence--Congresses.

Series	Lecture notes in computer science ; 958 Lecture notes in computer science 958. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	95024613
ISBN	3540601562 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.M35 I567 1994	✔ Available	Place Hold

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.).

Click here for more information about this title

Availability