Sciweavers

60
Voted
CADE
2007
Springer
15 years 9 months ago
Improvements in Formula Generalization
Markus Aderhold