Deprecated: Creation of dynamic property Papercite::$options is deprecated in /var/www/clients/client89/web233/web/wp-content/plugins/papercite/papercite.php on line 198
| 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. | [su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
| Dov Gabbay, Jörg Siekmann, John Woods: “Handbook on the History of Logic” (eleven volumes) vol 9, North Holland, Elsevier, 2014. | [su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
| M. Crocker, J. Siekmann (eds.): „Resource Adaptive Cognitive Processes“ , Cognitive Technologies, Springer Verlag, 2010. | [su_button url=”http://www.springer.com/us/book/9783540894070″ target=”_blank” background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
| 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. |
[su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
| Jörg H. Siekmann: Proceedings of the 8th International Conference on Automated Deduction (CADE), volume 230 of Lecture Notes in Computer Science. Springer, 1986. | [su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
| Jörg H. Siekmann and Graham Wrightson: Automation of Reasoning, volume 1 and 2. Springer, 1983. | [su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
| Jörg H. Siekmann: Künstliche Intelligenz, Proceedings of DECUS Conference, Kiel (Germany), 1983. | [su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
| 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. | [su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
| Wolfgang Bibel and Jörg H. Siekmann: Künstliche Intelligenz, Frühjahrsschule, Teisendorf, number 59 in Informatik Fachberichte. Springer, 1982. | [su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
| Jörg H. Siekmann: German Workshop on Artificial Intelligence (GWAI), Bad Honnef, number 47 in Informatik Fachberichte. Springer, 1981. | [su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button] |
[su_button url=”http://siekmann.dfki.de/en/all-publications/” background=”#ACCAEA” size=”4″]<< back[/su_button]
