Tools

LEADER 02029cam 2200493Ia 4500

001 ocm64166909;

003 OCoLC;

005 20141211185446.0;

008 060217s2006 gw 101 0 eng d;

010 a| 2006920149;

016 7 a| 9778792832| GyFmDB;

020 a| 354031430X (pbk.);

020 a| 9783540314431;

029 0 a| OHXb| har060010399;

035 a| (Sirsi) o64166909;

035 a| (OCoLC)64166909;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.95b| .M56 2005;

111 2 a| MKM (Conference)n| (4th :d| 2005 :c| Bremen, Germany)=| ^A629919;

245 10 a| Mathematical knowledge management :b| 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 ; revised selected papers /c| Michael Kohlhase (ed.).;

246 30 a| MKM 2005;

260 a| Berlin ;a| New York :b| Springer,c| 2006.;

300 a| xi, 403 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,x| 0302-9743 ;v| 3863.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Mathematicsx| Data processingv| Congresses.=| ^A87897;

650 0 a| Information storage and retrieval systemsx| Mathematicsv| Congresses.=| ^A1419868;

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

700 1 a| Kohlhase, Michael,d| 1964-=| ^A629920;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060010399c| 59.92 EUR;

980 a| 2006-04-05b| 78d| 0e| 74.1f| 801683;

596 a| 1;

998 a| 1031686;

999 a| QA76.95 .M56 2005w| LCc| 1i| 30372013567786d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $74.10r| Ys| Yt| JGESBKu| 4/11/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 ; revised selected papers / Michael Kohlhase (ed.).

Author/creator	MKM (Conference)
Other author	Kohlhase, Michael, 1964-
Format	Book
Publication Info	Berlin ; New York : Springer, 2006.
Description	xi, 403 pages : illustrations ; 24 cm.
Subjects	Mathematics--Data processing. --Congresses. Information storage and retrieval systems--Mathematics. --Congresses. Automatic theorem proving--Congresses.

Portion of title	MKM 2005
Series	Lecture notes in computer science, 0302-9743 ; 3863. Lecture notes in artificial intelligence Lecture notes in computer science 3863. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2006920149
ISBN	354031430X (pbk.)
ISBN	9783540314431

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.95 .M56 2005	✔ Available	Place Hold

Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 ; revised selected papers / Michael Kohlhase (ed.).

Click here for more information about this title

Availability