Hölldobler, Steffen 1957-
Hölldobler, Steffen.
Hölldobler, Steffen 1957-2023
Steffen Hölldobler Informatikprofessor
VIAF ID: 103652724 (Personal)
Permalink: http://viaf.org/viaf/103652724
Preferred Forms
- 200 _ | ‡a Hölldobler ‡b Steffen ‡f 1957-....
- 100 1 _ ‡a Hölldobler, Steffen ‡d 1957-2023
-
-
- 100 1 0 ‡a Hölldobler, Steffen, ‡d 1957-
-
- 100 1 _ ‡a Hölldobler, Steffen, ‡d 1957-....
- 100 1 _ ‡a Hölldobler, Steffen
-
-
- 100 1 _ ‡a Hölldobler, Steffen ‡d 1957-
-
- 100 0 _ ‡a Steffen Hölldobler ‡c Informatikprofessor
4xx's: Alternate Name Forms (7)
5xx's: Related Names (5)
- 510 2 _ ‡a Darmstadt, Techn. Hochsch
- 551 _ _ ‡a Dresden ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 551 _ _ ‡a Gießen ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Technische Universität Dresden ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Universität Dresden
Works
Title | Sources |
---|---|
Approximating the Semantics of Logic Programs by Recurrent Neural Networks | |
Ausgezeichnete Informatikdissertationen | |
Connectionist inference systems | |
Deduktion Automatisierung der Logik | |
Extended unification and its implementation | |
Foundations of equational logic programming | |
Horn clause logic in a functional environment | |
Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel | |
JELIA 2008 | |
KI-96 | |
KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings | |
Linear paramodulation modulo equality | |
Logik und Logikprogrammierung |