Florina Piroi, Tudor Jebelean,
"Advanced Proof Presentation in Theorema"
, 10-2001, F. Piroi, T. Jebelean SYNASC'01, Timisoara, Romania (RISC-Linz Report Series No 01-20, editors: S. Maruster, B. Buchberger, V. Negru, T. Jebelean)
Original Titel:
Advanced Proof Presentation in Theorema
Sprache des Titels:
Englisch
Erscheinungsmonat:
10
Erscheinungsjahr:
2001
Notiz zum Zitat:
F. Piroi, T. Jebelean SYNASC'01, Timisoara, Romania (RISC-Linz Report Series No 01-20, editors: S. Maruster, B. Buchberger, V. Negru, T. Jebelean)