01421nam--2200409---450-99000306733020331620080410122832.03-540-37897-9000306733USA01000306733(ALEPH)000306733USA0100030673320080220d2006----km-y0itay0103----baengDE||||||||001yyOMDoc-An open Markup format for Mathematical documentsversion 1.2Michael Kohlhase, foreword by Alan BundyBerlin [etc.]Springercopyr. 2006XIX, 428 p.24 cmLecture notes in artificial intelligenceAl Systems4180Lecture notes in computer science41802001Lecture notes in artificial intelligence4180Elaborazione datiStoccaggio di informazioni e sistemi di recupero510.285KOHLHASE,Michael508819BUNDY,AlanITCBSISBD990003067330203316006.3 LNAI 418034065/CBS006.300216952BKSCIANGELA9020080220USA011248ANGELA9020080221USA011139ANGELA9020080221USA011213ANGELA9020080410USA011228OMDoc – An Open Markup Format for Mathematical Documents772170UNISA