Current Trends in Automated Deduction
β
JΓΌrgen Giesl
π
Article
π
2010
π
Springer-Verlag
π
English
β 191 KB