LEADER 01701cam a2200445 i 4500
001 991002027709707536
007 cr mnu---|||||
008 061219s2006    de a          001 0 eng d
020   $a3540378979
020   $a9783540378976
035   $ab13464802-39ule_inst
040   $aDip.to Matematica$beng
084   $aCR I.2
084   $aCR F.4
084   $aCR F.3.1
084   $aCR G.4
084   $aCR H.3
084   $aCR I.1
084   $aCR I.7
084   $aAMS 68P
084   $aLC QA76.95.K64
100 1 $aKohlhase, Michael$0508819
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 :$bSpringer,$cc2006
300   $axix, 428 p. :$bill. ;$c24 cm
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4180.$aLecture notes in artificial intelligence. AI systems
530   $aAlso issued online
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
907   $a.b13464802$b28-01-14$c19-12-06
912   $a991002027709707536
945   $aLE013 68P KOH11 (2006)$g1$i2013000204864$lle013$op$pE60.32$q-$rl$s-  $t0$u0$v0$w0$x0$y.i14374250$z20-02-07
996   $aOMDoc – An Open Markup Format for Mathematical Documents$9772170
997   $aUNISALENTO
998   $ale013$b19-12-06$cm$da  $e-$feng$gde $h0$i0