Towards an Automated Reduction Method fo
β
FranΓ§ois Boulier; FranΓ§ois Lemaire; Alexandre Sedoglavic; AslΔ± ΓrgΓΌplΓΌ
π
Article
π
2009
π
Springer-Verlag
π
English
β 692 KB