JKU Linz  
 
 


Publikationsdetails

Forschungsprojekte 
Zitat: Wolfgang Windsteiger, "A Set Theory Prover in Theorema" , in Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire: Computer Aided Systems Theory - EUROCAST 2001, Serie Lecture Notes in Computer Science (LNCS), Nummer 2178, Springer, Seite(n) 525-539, 3-2001, ISBN: 3-540-42959
Original Titel: A Set Theory Prover in Theorema
Sprache des Titels: Englisch
Original Buchtitel: Computer Aided Systems Theory - EUROCAST 2001
Veröffentlicher: Springer
Serie: Lecture Notes in Computer Science (LNCS)
Number: 2178
Seitenreferenz: 525-539
Erscheinungsmonat: 3
Erscheinungsjahr: 2001
ISBN: 3-540-42959
Anzahl der Seiten: 15
Notiz zur Publikation: Extended version available as RISC-report 01-07
Publikationstyp: Aufsatz / Paper in Tagungsband (nicht-referiert)
Autoren: Wolfgang Windsteiger
Forschungseinheiten: Institut für Symbolisches Rechnen
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