Tudor Jebelean,
"Theorema: A system for the working mathematician"
, 8-2002, T. Jebelean
Theorema: A system for the working mathematician.
Invited talk at International Symposium "35 years of Automath"
Edinburgh, Scotland, 10 - 13 Aug. 2002
Original Titel:
Theorema: A system for the working mathematician
Sprache des Titels:
Englisch
Erscheinungsmonat:
8
Erscheinungsjahr:
2002
Notiz zum Zitat:
T. Jebelean
Theorema: A system for the working mathematician.
Invited talk at International Symposium "35 years of Automath"
Edinburgh, Scotland, 10 - 13 Aug. 2002