Bruno Buchberger,
"Focus Windows: A New Technique for Proof Presentation"
, 2-2002, B. Buchberger.
Focus Windows: A New Technique for Proof Presentation.
Talk at the 2nd Workshop on Proving, Solving, Computing, Tokyo,
Feb.17-18, 2002, organized by the SCORE Group, University of Tsukuba,Japan.
Original Titel:
Focus Windows: A New Technique for Proof Presentation
Sprache des Titels:
Englisch
Erscheinungsmonat:
2
Erscheinungsjahr:
2002
Notiz zum Zitat:
B. Buchberger.
Focus Windows: A New Technique for Proof Presentation.
Talk at the 2nd Workshop on Proving, Solving, Computing, Tokyo,
Feb.17-18, 2002, organized by the SCORE Group, University of Tsukuba,Japan.