Vol-417⫷ Vol-418 ⫸Vol-419
urn:nbn:de:0074-418-0


Vol-418/paper-5⫷Vol-418/paper-6⫸Vol-418/paper-7
Alexander LeitschBruno Woltzenlogel PaleoStefan HetzlDaniel Weller 0001

Transforming and Analyzing Proofs in the CERES-system