Agent based mathematical reasoning

Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge. Agent based mathematical reasoning. Electronic Notes in Theoretical Computer Science, 23(3):340-351, 1999. [doi]

No reviews for this publication, yet.