Notice: is_feed was called incorrectly. Conditional query tags do not work before the query is run. Before then, they always return false. Please see Debugging in WordPress for more information. (This message was added in version 3.1.0.) in /var/www/clients/client89/web233/web/wp-includes/functions.php on line 5663
Books and Proceedings – Jörg Siekmann
Notice: WP_Scripts::localize was called incorrectly. The $l10n parameter must be an array. To pass arbitrary data to scripts, use the wp_add_inline_script() function instead. Please see Debugging in WordPress for more information. (This message was added in version 5.7.0.) in /var/www/clients/client89/web233/web/wp-includes/functions.php on line 5663
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