OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy. (Lecture notes in computer science ; 4180 ; Lecture notes in artificial intelligence. AI systems)
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy.
(Lecture notes in computer science ; 4180 ; Lecture notes in artificial intelligence. AI systems)