Digital Repository of Mathematical Formulae
From MaRDI portal
Publication:5495940
DOI10.1007/978-3-319-08434-3_30zbMath1304.68194arXiv1404.6519WikidataQ60456614 ScholiaQ60456614MaRDI QIDQ5495940
Howard S. Cohl, Moritz Schubotz, B. V. Saunders, Marjorie A. McClain, Janelle C. Williams
Publication date: 7 August 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1404.6519
68T30: Knowledge representation
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
Uses Software