Mateja Jamnik;Manfred Kerber;Christoph Benzmüller
-;-;-
A task-oriented agent-based mechanism for mathematical assistant systems
Web Intelligence and Agent Systems