Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/egly-u

Uwe Egly (egly-u)

Contributi a 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.