Top

Published in:

Open Access 01-12-2016

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

Authors: Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

Title: Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
Authors: Daniel Raggi
Alan Bundy
Gudmund Grov
Alison Pease
Publication date: 01-12-2016
Publisher: Springer International Publishing
Published in: Mathematics in Computer Science / Issue 4/2016
Print ISSN: 1661-8270
Electronic ISSN: 1661-8289
DOI: https://doi.org/10.1007/s11786-016-0275-z

Premium Partner