Jörg Siekmann

Bücher und Tagungsbände


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]
D. Gabbay, J. Siekmann, J. 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]
Crocker, W. Matthew, and J. Siekmann, „Resource-adaptive cognitive processes“. Springer, 2010. [su_button url=“http://www.springer.com/us/book/9783540894070″ target=“_blank“ background=“#ACCAEA“ size=“2″]   PDF   [/su_button][su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/10/Resource-adaptive-cognitive-processes.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
K. Bläsius, H. Bürckert, N. Eisinger, D. Hutter, A. Nonnengart, H. Ohlbach, and J. Siekmann: Deduction systems in Artificial Intelligence. Ellis Horwood, 1989. [su_button background=“#ACCAEA“ size=“2″]   PDF   [/su_button][su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/10/Deduction-Systems-in-Artificial-Intelligence.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
K. Bläsius, H. Bürckert, N. Eisinger, D. Hutter, A. Nonnengart, H. Ohlbach, and J. 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 url=“http://siekmann.dfki.de/wp-content/uploads/2017/10/Geschichte-des-automatischen-beweisens.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
J. 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. Siekmann and G. Wrightson: Automation of Reasoning, volume 1 and 2. Springer, 1983. [su_button background=“#ACCAEA“ size=“2″]   PDF   [/su_button][su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/10/Automation-of-Reasoning-Classical-Papers-on-Computational-Logic-volume-1-and-2.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
J. 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]
W. Bibel, N. Eisinger, W. Schneeberger, and J. 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]
W. Bibel and J. Siekmann: Künstliche Intelligenz, Frühjahrsschule, Teisendorf, vol. 59 in Informatik Fachberichte. Springer, 1982. [su_button background=“#ACCAEA“ size=“2″]   PDF   [/su_button][su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/10/künstliche-intelligenz-teisendorf.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
J. Siekmann: German Workshop on Artificial Intelligence (GWAI), Bad Honnef, vol. 47 in Informatik Fachberichte. Springer, 1981. [su_button background=“#ACCAEA“ size=“2″]   PDF   [/su_button][su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/10/German-Workshop-on-Artificial-Intelligence-Bad-Honnef.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]

 

[su_button url=“http://siekmann.dfki.de/de/alle-publikationen/“ background=“#ACCAEA“ size=“4″]<< zurück[/su_button]