Proof Transformation by CERES

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_8 ◽

2006 ◽

pp. 82-93 ◽

Cited By ~ 6

Author(s):

Matthias Baaz ◽

Stefan Hetzl ◽

Alexander Leitsch ◽

Clemens Richter ◽

Hendrik Spohr

Download Full-text