C. P. Wirth, J.Siekmann, V.Peckhaus, M. Gabbay, D. Gabbay: “David Hilbert, Paul Bernays: Grundlagen Mathematik I”, Foundations of Mathematics I, bilingual 8-volume edition, 2016; subsequent volumes to appear. | PDF BibTex |
Dov Gabbay, Jörg Siekmann, John Woods: “Handbook on the History of Logic” (eleven volumes) vol 9, North Holland, Elsevier, 2014. | PDF BibTex |
M. Crocker, J. Siekmann (eds.): „Resource Adaptive Cognitive Processes“ , Cognitive Technologies, Springer Verlag, 2010. | PDF BibTex |
Karl-Hans Bläsius, Hans-Jürgen Bürckert, Norbert Eisinger, Dieter Hutter, Andreas Nonnengart, Hans Jürgen Ohlbach, and Jörg H. Siekmann: Deduktionssysteme, Automatisierung des logischen Denkens. Oldenburg, first edition 1987, second edition, 1992.
Englisch in: Deduction Systems in Artificial Intelligence. Ellis Horwood, 1989. |
PDF BibTex |
Jörg H. Siekmann: Proceedings of the 8th International Conference on Automated Deduction (CADE), volume 230 of Lecture Notes in Computer Science. Springer, 1986. | PDF BibTex |
Jörg H. Siekmann and Graham Wrightson: Automation of Reasoning, volume 1 and 2. Springer, 1983. | PDF BibTex |
Jörg H. Siekmann: Künstliche Intelligenz, Proceedings of DECUS Conference, Kiel (Germany), 1983. | PDF BibTex |
Wolfgang Bibel, Norbert Eisinger, W. Schneeberger, and Jörg H. Siekmann: Studien- und Forschungsführer Künstliche Intelligenz. Springer, first edition 1983, second edition, 1987. | PDF BibTex |
Wolfgang Bibel and Jörg H. Siekmann: Künstliche Intelligenz, Frühjahrsschule, Teisendorf, number 59 in Informatik Fachberichte. Springer, 1982. | PDF BibTex |
Jörg H. Siekmann: German Workshop on Artificial Intelligence (GWAI), Bad Honnef, number 47 in Informatik Fachberichte. Springer, 1981. | PDF BibTex |