Bruno Buchberger,
"Theory exploration versus theorem proving"
, in A. Armando and t. Jebelean: Proceedings of the Calculemus 1999 Workshop, Serie Electronic Notes in Theoretical Computer Science, Vol. 23, elsevier, 12-1999, B. Buchberger; in: A. Armando and T. Jebelean, editors, Electronic Notes in Theoretical Computer Science, vol. 23, Elsevier, 1999, CALCULEMUS Workshop, University of Trento, Trento, Italy.
Original Titel:
Theory exploration versus theorem proving
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Calculemus 1999 Workshop
Verlagsanschrift:
elsevier
Serie:
Electronic Notes in Theoretical Computer Science
Volume:
23
Erscheinungsmonat:
12
Erscheinungsjahr:
1999
Notiz zum Zitat:
B. Buchberger; in: A. Armando and T. Jebelean, editors, Electronic Notes in Theoretical Computer Science, vol. 23, Elsevier, 1999, CALCULEMUS Workshop, University of Trento, Trento, Italy.