Jörg Siekmann

Books and Proceedings

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

 

<< back