Some Traditional Mathematical Knowledge Management
From MaRDI portal
Publication:3637263
DOI10.1007/978-3-642-02614-0_5zbMath1247.68272MaRDI QIDQ3637263
Publication date: 9 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_5
68T30: Knowledge representation