Open Access 01.12.2016
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
Erschienen in: Mathematics in Computer Science | Ausgabe 4/2016
Open Access 01.12.2016
Erschienen in: Mathematics in Computer Science | Ausgabe 4/2016