The Planetary Project: Towards eMath3.0

DOI10.1007/978-3-642-31374-5_34zbMath1278.68339DBLPconf/aisc/Kohlhase12arXiv1206.5048OpenAlexW1606650395WikidataQ57389374 ScholiaQ57389374MaRDI QIDQ2907347

Michael Kohlhase

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1206.5048

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (1)

System Description: MathHub.info

Uses Software

• LaTeXML
• PlanetMath

This page was built for publication: The Planetary Project: Towards eMath3.0