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 Springer Lecture Notes in Artificial Intelligence, 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)