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

Jörg H. Siekmann (siekmann)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Baader, Franz and Siekmann, Jörg H. 1994. Unification Theory.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 41–126. Oxford: Oxford University Press.
    Melis, Erica and Siekmann, Jörg H. 1999. Knowledge-Based Proof Planning.” Artificial Intelligence 115(1): 65–105.
    Siekmann, Jörg H., ed. 1986. CADE-8.Proceedings of the 8th International Conference on Automated Deduction. Lecture Notes in Computer Science n. 230. Berlin: Springer.
    Siekmann, Jörg H. 2014. Computational Logic.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 15–30. Amsterdam: Elsevier Science Publishers B.V.
    Siekmann, Jörg H. and Fehrer, Detlef. 1998. Introduction (to Part II: Representation).” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 119–124. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
    Siekmann, Jörg H. and Gabbay, Dov M., eds. 2014. Handbook of the History of Logic. Volume 9: Computational Logic. Amsterdam: Elsevier Science Publishers B.V.
    Wirth, Claus-Peter, Siekmann, Jörg H., Benzmüller, Christoph and Autexier, Serge. 2009. Jacques Herbrand: Life, Logic, and Automated Deduction.” in Handbook of the History of Logic. Volume 5: Logic from Russell to Church, edited by Dov M. Gabbay and John Woods, pp. 195–254. Amsterdam: North-Holland Publishing Co.