Bruno Buchberger,
"Theory exploration with theorema"
, in T. Jebeleoan and V. Negru: Proceedings of the Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, 12-2000, B. Buchberger; in: T. Jebelean and V. Negru, eds., Proceedings of the second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Oct. 4-6, 2000.
Original Titel:
Theory exploration with theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing
Erscheinungsmonat:
12
Erscheinungsjahr:
2000
Notiz zum Zitat:
B. Buchberger; in: T. Jebelean and V. Negru, eds., Proceedings of the second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Oct. 4-6, 2000.