Wolfgang Windsteiger,
"A Set Theory Prover in Theorema"
, Serie SFB F013 Reports, Nummer 01-23, 2-2001, W. Windsteiger CAL'01 Workshop, Las Palmas, Gran Canaria (Also available as SFB report 01-23.)
Original Titel:
A Set Theory Prover in Theorema
Sprache des Titels:
Englisch
Serie:
SFB F013 Reports
Number:
01-23
Erscheinungsmonat:
2
Erscheinungsjahr:
2001
Notiz zum Zitat:
W. Windsteiger CAL'01 Workshop, Las Palmas, Gran Canaria (Also available as SFB report 01-23.)
Forschungs-