Tools

LEADER 01939cam 2200493Ia 4500

001 ocm56533548;

003 OCoLC;

005 20141212180730.0;

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

008 040917s2004 gw a 101 0 eng d;

010 a| 2004111460;

016 7 a| 9720142842| GyFmDB;

020 a| 3540230297 (pbk.);

035 a| (Sirsi) o56533548;

035 a| (OCoLC)56533548;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.95b| .I565 2004;

111 2 a| MKM 2004d| (2004 :c| Białowieża, Poland)=| ^A691727;

245 10 a| Mathematical knowledge management :b| third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /c| Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).;

246 30 a| MKM 2004;

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

300 a| x, 392 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 ;v| 3119;

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| Asperti, Andrea.=| ^A410514;

700 1 a| Bancerek, Grzegorz.=| ^A587867;

700 1 a| Trybulec, Andrzej.=| ^A587868;

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

994 a| X0b| ERE;

910 a| PromptCat;

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

980 a| 2004-12-01b| 78d| 0e| 74.1f| 497112;

596 a| 1;

998 a| 981383;

999 a| QA76.95 .I565 2004w| LCc| 1i| 30372013298739d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $74.10r| Ys| Yt| JGESBKu| 12/8/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings / Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).

Author/creator	MKM 2004
Other author	Asperti, Andrea.
Other author	Bancerek, Grzegorz.
Other author	Trybulec, Andrzej.
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2004.
Description	x, 392 pages : illustrations ; 24 cm.
Subjects	Mathematics--Data processing. --Congresses. Information storage and retrieval systems--Mathematics. --Congresses. Automatic theorem proving--Congresses.

Portion of title	MKM 2004
Series	Lecture notes in computer science ; 3119 Lecture notes in computer science 3119. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2004111460
ISBN	3540230297 (pbk.)

Availability

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

Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings / Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).

Click here for more information about this title

Availability