Tools

LEADER 01949cam 2200481Ia 4500

001 ocm71200398;

003 OCoLC;

005 20141211192421.0;

008 060825s2006 gw a 001 0 eng d;

010 a| 2006031135;

016 7 a| 9806785442| GyFmDB;

020 a| 3540378979 (pbk.);

020 a| 9783540378976;

029 0 a| OHXb| har060108549;

035 a| (Sirsi) o71200398;

035 a| (OCoLC)71200398;

049 a| EREE;

072 7 a| QA2| lcco;

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

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

245 10 a| OMDoc -- an open markup format for mathematical documents :b| (version 1.2) /c| Michael Kohlhase ; foreword by Alan Bundy.;

246 30 a| OMDoc;

300 a| xix, 428 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| 4180.a| Lecture notes in artificial intelligence.a| AI systems;

540 3| Joyner-a| Includes bibliographical references and index.;

650 0 a| Mathematicsx| Data processing.=| ^A27360;

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

650 0 a| OMDoc (Document markup language)=| ^A702226;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060108549c| 62.06 EUR;

938 a| Baker & Taylorb| BKTYc| 79.95d| 79.95i| 3540378979n| 0006971655s| active;

980 a| 2006-11-02b| 79.95d| 0e| 75.95f| 995492;

596 a| 1;

998 a| 1060735;

999 a| QA76.95 .K64 2006w| LCc| 1i| 30372014222878d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $75.95r| Ys| Yt| JGESBKu| 11/13/2006x| BOOKz| JSTACKSo| .STAFF. 0;

OMDoc -- an open markup format for mathematical documents (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy.

Author/creator	Kohlhase, Michael, 1964-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	xix, 428 pages : illustrations ; 24 cm.
Subjects	Mathematics--Data processing. Information storage and retrieval systems--Mathematics. OMDoc (Document markup language)

Portion of title	OMDoc
Series	Lecture notes in computer science ; 4180. Lecture notes in artificial intelligence. AI systems Lecture notes in computer science 4180. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems. ^A702227
Terms of use	Joyner- Includes bibliographical references and index.
LCCN	2006031135
ISBN	3540378979 (pbk.)
ISBN	9783540378976

Availability

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

OMDoc -- an open markup format for mathematical documents (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy.

Click here for more information about this title

Availability