LEADER 01421nam--2200409---450- 001 990003067330203316 005 20080410122832.0 010 $a3-540-37897-9 035 $a000306733 035 $aUSA01000306733 035 $a(ALEPH)000306733USA01 035 $a000306733 100 $a20080220d2006----km-y0itay0103----ba 101 $aeng 102 $aDE 105 $a||||||||001yy 200 1 $aOMDoc-An open Markup format for Mathematical documents$eversion 1.2$fMichael Kohlhase, foreword by Alan Bundy 210 $aBerlin [etc.]$cSpringer$dcopyr. 2006 215 $aXIX, 428 p.$d24 cm 225 2 $aLecture notes in artificial intelligence$iAl Systems$v4180 225 2 $aLecture notes in computer science$v4180 410 $12001$aLecture notes in artificial intelligence$v4180 610 0 $aElaborazione dati$xStoccaggio di informazioni e sistemi di recupero 676 $a510.285 700 1 $aKOHLHASE,$bMichael$0508819 702 1$aBUNDY,$bAlan 801 0$aIT$bCBS$gISBD 912 $a990003067330203316 951 $a006.3 LNAI 4180$b34065/CBS$c006.3$d00216952 959 $aBK 969 $aSCI 979 $aANGELA$b90$c20080220$lUSA01$h1248 979 $aANGELA$b90$c20080221$lUSA01$h1139 979 $aANGELA$b90$c20080221$lUSA01$h1213 979 $aANGELA$b90$c20080410$lUSA01$h1228 996 $aOMDoc – An Open Markup Format for Mathematical Documents$9772170 997 $aUNISA