Bruno Buchberger, Florina Piroi,
"Focus Windows: A New Technique for Proof Presentations"
, 3-2002, F. Piroi, B. Buchberger.
Focus Windows: A New Technique for Proof Presentations.
8th Rhine Workshop on Computer Algebra,
pp.297-313, Mannheim, Germany, March 21-22, (H. Kredel, W. Seiler eds.), (17
pages)
Original Titel:
Focus Windows: A New Technique for Proof Presentations
Sprache des Titels:
Englisch
Erscheinungsmonat:
3
Erscheinungsjahr:
2002
Notiz zum Zitat:
F. Piroi, B. Buchberger.
Focus Windows: A New Technique for Proof Presentations.
8th Rhine Workshop on Computer Algebra,
pp.297-313, Mannheim, Germany, March 21-22, (H. Kredel, W. Seiler eds.), (17
pages)