Tools

LEADER 02286cam a22005294a 4500

001 ocm49991602;

003 OCoLC;

005 20141212163956.0;

007 cr un---------;

008 020605s2002 gw a b 101 0 eng ;

010 a| 2002075471;

020 a| 3540438653 (alk. paper);

035 a| (Sirsi) o49991602;

035 a| (OCoLC)49991602;

040 a| DLCc| DLCd| OHXd| C$Qd| C#Pd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| Q334b| .A768 2002;

072 7 a| QA2| lcco;

082 00 a| 006.32| 21;

245 00 a| Artificial intelligence, automated reasoning, and symbolic computation :b| joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings /c| Jacques Calmet [and others].;

246 30 a| AISC 2002;

246 30 a| Calculemus 2002;

300 a| xi, 341 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 2385.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

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

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

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

711 2 a| AISMC (Conference)n| (6th :d| 2002 :c| Marseille, France)?| UNAUTHORIZED;

711 2 a| CALCULEMUSd| (2002 :c| Marseille, France)?| UNAUTHORIZED;

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

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2385.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har025019776c| 51.36 DEM;

980 a| 2002-10-09b| 62d| 3.83e| 58.9f| 91457;

596 a| 1;

998 a| 890087;

999 a| Q334 .A768 2002w| LCc| 1i| 30372011816250d| 11/15/2012f| 11/15/2012g| 1l| JGESm| JOYNERp| $58.90r| Ys| Yt| JGESBKu| 10/25/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings / Jacques Calmet [and others].

Other author	Calmet, Jacques.
Other author	AISMC (Conference) 2002 : Marseille, France)
Other author	CALCULEMUS (2002 : Marseille, France)
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2002.
Description	xi, 341 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Artificial intelligence--Congresses. Logic, Symbolic and mathematical--Congresses. Automatic theorem proving--Congresses.

Portion of title	AISC 2002
Portion of title	Calculemus 2002
Series	Lecture notes in computer science, 0302-9743 ; 2385. Lecture notes in artificial intelligence Lecture notes in computer science 2385. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2002075471
ISBN	3540438653 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	Q334 .A768 2002	✔ Available	Place Hold

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings / Jacques Calmet [and others].

Click here for more information about this title

Availability