Bruno Buchberger,
"Algorithm Supported Mathematical Theory Exploration: A Personal View and Stragegy"
, in B. Buchberger, John Campbell: Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), Serie Lecture Notes in Artificial Intelligence (LNAI), Vol. 3249, Copyright: Springer, Berlin-Heidelberg, Seite(n) 236-250, 9-2004, ISBN: 3-540-232
Original Titel:
Algorithm Supported Mathematical Theory Exploration: A Personal View and Stragegy
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation)