Uwe Egly (egly-u)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Baaz, Matthias, Egly, Uwe and Leitsch, Alexander. 1998. “Extension Methods in Automated Deduction.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 331–360. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.