Sciweavers

61
Voted
CADE
2003
Springer
15 years 9 months ago
How to Prove Inductive Theorems? QUODLIBET!
Jürgen Avenhaus, Ulrich Kühler, Tobias S...