Zum Inhalt springen

  2. Benzmüller, Christoph [Verfasser:in]

    Symbolic Ai and Gödel's Ontological Argument

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Zygon ; 57(2022), 4, Seite 953-962

  4. Benzmüller, Christoph [Verfasser:in]

    HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 3: Spezifikation der atomaren Funktionen

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

    Erschienen in: Technischer Bericht ; 1993,6

  8. Benzmüller, Christoph [Herausgeber:in]; Otten, Jens [Herausgeber:in] ; International Workshop on Automated Reasoning in Quantified Non-Classical Logics 4. 2022 Haifa

    Automated Reasoning in Quantified Non-Classical Logics : 4th international workshop, ARQNL 2022,Haifa, Israel, August 11th, 2022 : proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Aachen, Germany]: [RWTH Aachen], 2023-01-11

    Erschienen in: CEUR workshop proceedings ; 3326

  10. Benzmüller, Christoph [Herausgeber:in]; Miller, Bruce [Herausgeber:in]

    Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings - [1st ed. 2020.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Lecture Notes in Artificial Intelligence ; 12236 - Springer eBook Collection

  11. Benzmüller, Christoph [Herausgeber:in]; Otten, Jens [Herausgeber:in] ; ARQNL 3. 2018 Oxford

    Automated Reasoning in Quantified Non-Classical Logics : 3rd international workshop, ARQNL 2018, Oxford, United Kingdom, July 18th, 2018 : proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen, Germany: RWTH Aachen, [2018]

    Erschienen in: CEUR workshop proceedings ; 209500

  12. Benzmüller, Christoph [Herausgeber:in]; Stuckenschmidt, Heiner [Herausgeber:in] ; KI Veranstaltung 42. 2019 Kassel

    KI 2019: advances in artificial intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019 : proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, [2019]

    Erschienen in: Lecture notes in artificial intelligence ; 11793 - Springer eBooks ; Computer Science

  13. Benzmüller, Christoph [Herausgeber:in]; Otten, Jens [Herausgeber:in] ; ARQNL 2. 2016 Coimbra

    Automated Reasoning in Quantified Non-Classical Logics : 2nd international workshop, ARQNL 2016, Coimbra, Portugal, July 1st, 2016 : proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen, Germany: RWTH Aachen, [2016]

    Erschienen in: CEUR workshop proceedings ; 177000

  14. Benzmüller, Christoph [Verfasser:in]; Reiche, Sebastian [Verfasser:in]

    Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Bamberg: Otto-Friedrich-Universität Bamberg, 2022