Bruno Buchberger,
"Theorema: Computer-Supported Mathematical Proving"
, 6-1998, B. Buchberger; Annual Meeting of the Mathematics Department of the University of Wales, Gregynod
Original Titel:
Theorema: Computer-Supported Mathematical Proving
Sprache des Titels:
Englisch
Erscheinungsmonat:
6
Erscheinungsjahr:
1998
Notiz zum Zitat:
B. Buchberger; Annual Meeting of the Mathematics Department of the University of Wales, Gregynod