OMDoc: An infrastructure for openmath content dictionary information (2000)

by Michael Kohlhase
Venue:BULLETIN OF THE ACM SPECIAL INTEREST GROUP ON SYMBOLIC AND AUTOMATED MATHEMATICS (SIGSAM
Citations:12 - 3 self