Bruno Buchberger, Florina Piroi,
"Focus Windows: A New Technique for Proof Presentation"
, Vol. 2385, Springer Verlag, Seite(n) 290-304, 7-2002, ISBN: 3-540-43865-3, F. Piroi, B. Buchberger, "Focus Windows: A New Technique for Proof Presentation."
In J. Calmet, B. Benhamou, O. Caprotti, L. Henocque and V. Sorge,
editors, Artificial Intelligence, Automated Reasoning and Symbolic
Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 Conference,
July 1-5, 2002, Marseille, France. Volume 2385 of Lecture Notes in
Artificial Intelligence, Springer Verlag, 2002, pp.290-304. ISBN
3-540-43865-3. (15 pages)
Original Titel:
Focus Windows: A New Technique for Proof Presentation
Sprache des Titels:
Englisch
Veröffentlicher:
Springer Verlag
Volume:
2385
Seitenreferenz:
290-304
Erscheinungsmonat:
7
Erscheinungsjahr:
2002
Notiz zum Zitat:
F. Piroi, B. Buchberger, "Focus Windows: A New Technique for Proof Presentation."
In J. Calmet, B. Benhamou, O. Caprotti, L. Henocque and V. Sorge,
editors, Artificial Intelligence, Automated Reasoning and Symbolic
Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 Conference,
July 1-5, 2002, Marseille, France. Volume 2385 of Lecture Notes in
Artificial Intelligence, Springer Verlag, 2002, pp.290-304. ISBN
3-540-43865-3. (15 pages)
Forschungs-