The Planetary project: towards eMath3.0
DOI10.1007/978-3-642-31374-5_34zbMATH Open1278.68339DBLPconf/aisc/Kohlhase12arXiv1206.5048OpenAlexW1606650395WikidataQ57389374 ScholiaQ57389374MaRDI QIDQ2907347FDOQ2907347
Authors: 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
Recommendations
Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cited In (1)
Uses Software
This page was built for publication: The Planetary project: towards eMath3.0
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2907347)