Automating Change of Representation for Proofs in Discrete...

Mathematics in Computer Science 2016 / 12 Vol. 10; Iss. 4

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

Raggi, Daniel, Bundy, Alan, Grov, Gudmund, Pease, Alison
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10
Language:
english
Journal:
Mathematics in Computer Science
DOI:
10.1007/s11786-016-0275-z
Date:
December, 2016
File:
PDF, 733 KB
english, 2016
Conversion to is in progress
Conversion to is failed