RISC JKU
  • @techreport{RISC1481,
    author = {Bruno Buchberger and Claudio Dupre and Tudor Jebelean and Franz Kriftner and Koji Nakagawa and Daniela Vasaru and Wolfgang Windsteiger},
    title = {{Theorema: A Short Demo}},
    language = {english},
    number = {99-45},
    year = {1999},
    month = {December},
    annote = {1999-12-00-C},
    note = {Also available as SFB Report 99-37, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999},
    keywords = {automated reasoning},
    sponsor = {SFB/FWF project F1302},
    length = {61},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Altenberger Straße 69, 4040 Linz, Austria},
    issn = {2791-4267 (online)}
    }