"Computer-assisted human-oriented inductive theorem proving by descente ..."

Claus-Peter Wirth (2012)