Mathematical Knowledge Management
From MaRDI portal
Publication:5898511
DOI10.1007/11618027zbMath1151.68663MaRDI QIDQ5898511
Christoph Schwarzweller, Adam Grabowski
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11618027
68T30: Knowledge representation
Uses Software