Tools

LEADER 02199cam 2200517Ia 4500

001 ocm70841018;

003 OCoLC;

005 20141211192215.0;

008 060804s2006 gw a b 101 0 eng d;

010 a| 2006930246;

020 a| 3540371044 (pbk.);

020 a| 9783540371045;

029 0 a| OHXb| har065015074;

029 1 a| YDXCPb| 2469308;

035 a| (Sirsi) o70841018;

035 a| (OCoLC)70841018;

049 a| EREE;

072 7 a| QA2| lcco;

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

111 2 a| MKM (Conference)n| (5th :d| 2006 :c| Wokingham, England)=| ^A701027;

245 10 a| Mathematical knowledge management :b| 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings /c| Jonathan M. Borwein, William M. Farmer (eds.).;

246 30 a| MKM 2006;

300 a| viii, 294 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| 4108.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

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| Borwein, Jonathan M.=| ^A390897;

700 1 a| Farmer, William Michael.=| ^A701028;

830 0 a| Lecture notes in computer sciencev| 4108.=| ^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| har065015074c| 51.36 EUR;

938 a| Baker & Taylorb| BKTYc| 67.00d| 67.00i| 3540371044n| 0006930261s| active;

938 a| YBP Library Servicesb| YANKn| 2469308;

980 a| 2006-10-12b| 67d| 0e| 63.65f| 980203;

596 a| 1;

998 a| 1058165;

999 a| QA76.95 .M56 2006w| LCc| 1i| 30372014224890d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $63.65r| Ys| Yt| JGESBKu| 10/23/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / Jonathan M. Borwein, William M. Farmer (eds.).

Author/creator	MKM (Conference)
Other author	Borwein, Jonathan M.
Other author	Farmer, William Michael.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	viii, 294 pages : illustrations ; 24 cm.
Subjects	Mathematics--Data processing. --Congresses. Information storage and retrieval systems--Mathematics. --Congresses. Automatic theorem proving--Congresses.

Portion of title	MKM 2006
Series	Lecture notes in computer science, 0302-9743 ; 4108. Lecture notes in artificial intelligence Lecture notes in computer science 4108. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
LCCN	2006930246
ISBN	3540371044 (pbk.)
ISBN	9783540371045

Availability

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

Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / Jonathan M. Borwein, William M. Farmer (eds.).

Click here for more information about this title

Availability