| Record ID | marc_loc_updates/v36.i42.records.utf8:6131253:1494 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i42.records.utf8:6131253:1494?format=raw |
LEADER: 01494cam a22003617a 4500
001 2006031135
003 DLC
005 20081015082207.0
008 060919s2006 gw a b 001 0 eng d
010 $a 2006031135$z 2006931135
016 7 $a980678544$2GyFmDB
020 $a3540378979 (pbk.)
020 $a9783540378976
035 $a(OCoLC)ocm71200398
035 $a(OCoLC)71200398
040 $aOHX$cOHX$dBAKER$dCUS$dDLC
042 $alccopycat
050 00 $aQA76.95$b.K65 2006
072 7 $aQA$2lcco
100 1 $aKohlhase, Michael,$d1964-
245 10 $aOMDoc -- an open markup format for mathematical documents :$b(version 1.2) /$cMichael Kohlhase ; foreword by Alan Bundy.
246 30 $aOMDoc
260 $aBerlin ;$aNew York :$bSpringer,$cc2006.
300 $axix, 428 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v4180.$aLecture notes in artificial intelligence.$aAI systems
540 $aIncludes bibliographical references and index.
650 0 $aMathematics$xData processing.
650 0 $aInformation storage and retrieval systems$xMathematics.
650 0 $aOMDoc (Document markup language)
830 0 $aLecture notes in computer science ;$v4180.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.$pAI systems.
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/toc/fy0704/2006031135.html
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2006031135-d.html