Logic as a Path to Enlightenment (Work in Progress Report)

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Computer Mathematics in Education - Enlightenment or Incantation?
Editors	Walther Neuper
Publisher	To be published at CEUR Workshop Proceedings
Pages	1-5
Number of pages	3
Publication status	Published - Aug 2018

Name	CEUR Workshop Proceedings
ISSN (Print)	1613-0073

Fields of science

@inproceedings{60d72e28032944b1afb411948db62022,

title = "Logic as a Path to Enlightenment (Work in Progress Report)",

author = "Wolfgang Schreiner",

year = "2018",

month = aug,

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "To be published at CEUR Workshop Proceedings",

pages = "1--5",

editor = "\{Walther Neuper\}",

booktitle = "Computer Mathematics in Education - Enlightenment or Incantation?",

}

TY - GEN

T1 - Logic as a Path to Enlightenment (Work in Progress Report)

AU - Schreiner, Wolfgang

PY - 2018/8

Y1 - 2018/8

UR - http://CEUR-ws.org

M3 - Conference proceedings

T3 - CEUR Workshop Proceedings

SP - 1

EP - 5

BT - Computer Mathematics in Education - Enlightenment or Incantation?

A2 - Walther Neuper, null

PB - To be published at CEUR Workshop Proceedings

ER -