JKU Linz  
 
 


Publikationsdetails

Schlagworte Wissenschaftsgebiete Forschungsprojekte 
Zitat: Wolfgang Windsteiger, "An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema" : Proceedings LMCS'02, 10-2002, ISBN: 3-902276-02-9,
W. Windsteiger: An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema, Proc. LMCS'02 (Logic, Mathematics and Computer Science: Interactions), Symposium in Honor of Bruno Buchberger's 60th Birthday, RISC-Linz, Castle of Hagenberg, Austria, October 20-22, 2002.
Original Titel: An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema
Sprache des Titels: Englisch
Original Buchtitel: Proceedings LMCS'02
Erscheinungsmonat: 10
Erscheinungsjahr: 2002
Notiz zum Zitat: W. Windsteiger: An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema, Proc. LMCS'02 (Logic, Mathematics and Computer Science: Interactions), Symposium in Honor of Bruno Buchberger's 60th Birthday, RISC-Linz, Castle of Hagenberg, Austria, October 20-22, 2002.
ISBN: 3-902276-02-9
Anzahl der Seiten: 15
Publikationstyp: Aufsatz / Paper in Tagungsband (referiert)
Autoren: Wolfgang Windsteiger
Forschungseinheiten: Institut für Symbolisches Rechnen
Schlagworte: Theorema
Mengenlehre
Wissenschaftsgebiete: Symbolic Computation (ÖSTAT:1141)
Forschungsprojekte:
  1. CALCULEMUS - Systems for Integrated Computation and Deduction (Anfangsjahr: 2000)
  2. Solving and Proving in General Domains - Period I (Subproject of SFB F 13 Numerical and Symbolic Scientific Computation) (Anfangsjahr: 1998)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum