nach oben

Erschienen in:

Open Access 01.12.2016

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

verfasst von: Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

Titel: Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
verfasst von: Daniel Raggi
Alan Bundy
Gudmund Grov
Alison Pease
Publikationsdatum: 01.12.2016
Verlag: Springer International Publishing
Erschienen in: Mathematics in Computer Science / Ausgabe 4/2016
Print ISSN: 1661-8270
Elektronische ISSN: 1661-8289
DOI: https://doi.org/10.1007/s11786-016-0275-z