Using La\TeX\ as a semantic markup format

From MaRDI portal
Publication:841688

DOI10.1007/s11786-008-0055-5zbMath1176.68230OpenAlexW2077950169WikidataQ57389427 ScholiaQ57389427MaRDI QIDQ841688

Michael Kohlhase

Publication date: 18 September 2009

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-008-0055-5



Related Items


Uses Software