Wolfgang Windsteiger,
"An Automated Prover for Set Theory in Theorema"
: Calculemus 2002. 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Marseille, France, July 3-5, 2002. Work in Progress Papers, Serie Seki-Report Series, 6-2002, ISSN: 1427-4447, W. Windsteiger: An Automated Prover for Set Theory in Theorema,
Seki Report Nr.SR-02-04, Work in Progress Papers at the 10th Symposium
on the Integration of Symbolic Computation and Mechanized Reasoning,
Calculemus'02, Marseille, France, June 3-5, 2002. // Series ISSN: 1427-4447
Original Titel:
An Automated Prover for Set Theory in Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Calculemus 2002. 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Marseille, France, July 3-5, 2002. Work in Progress Papers
Serie:
Seki-Report Series
Erscheinungsmonat:
6
Erscheinungsjahr:
2002
Notiz zum Zitat:
W. Windsteiger: An Automated Prover for Set Theory in Theorema,
Seki Report Nr.SR-02-04, Work in Progress Papers at the 10th Symposium
on the Integration of Symbolic Computation and Mechanized Reasoning,
Calculemus'02, Marseille, France, June 3-5, 2002. // Series ISSN: 1427-4447
Forschungs-