Mathematical Knowledge Management
From MaRDI portal
Publication:5898531
DOI10.1007/11618027zbMath1151.68675OpenAlexW2480281325MaRDI QIDQ5898531
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
Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30) Computing methodologies for text processing; mathematical typography (68U15)
Related Items