Sciweavers

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