RISC RISC Research Institute for Symbolic Computation  
  • @inproceedings{RISC5711,
    author = {Wolfgang Schreiner},
    title = {{Logic as a Path to Enlightenment (Work in Progress Report)}},
    booktitle = {{Computer Mathematics in Education - Enlightenment or Incantation?}},
    language = {english},
    pages = {1--5},
    publisher = {To be published at CEUR Workshop Proceedings, http://CEUR-ws.org},
    isbn_issn = {ISSN 1613-0073},
    year = {2018},
    month = {August},
    editor = {Walther Neuper},
    refereed = {yes},
    keywords = {RISC Algorithm Language, RISCAL, Model Checking, Verification},
    sponsor = {Supported by the Johannes Kepler University, Linz Institute of Technology (LIT), project LOGTECHEDU, and by the OEAD WTZ project SK 14/2018 SemTech.},
    length = {3},
    conferencename = {CME-EI18, Workshop at CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 17, 2018.}
    }