Sciweavers

MKM
2005
Springer
13 years 10 months ago
A Tough Nut for Mathematical Knowledge Management
In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representation formalism to represent a given problem. Secondly, ...
Manfred Kerber, Martin Pollet