Skip to contents

  4. Benzmüller, Christoph [Author]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Scientific publications of the Saarland University (UdS), 2014-04-03

  5. Benzmüller, Christoph [Author]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Technischer Bericht ; 1993,6

  8. Benzmüller, Christoph [Editor]; Otten, Jens [Editor] ; 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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: CEUR workshop proceedings ; 3326

  10. Benzmüller, Christoph [Editor]; Miller, Bruce [Editor]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

  11. Benzmüller, Christoph [Editor]; Stuckenschmidt, Heiner [Editor] ; KI Veranstaltung 42. 2019 Kassel

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, [2019]

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

  12. Benzmüller, Christoph [Editor]; Otten, Jens [Editor] ; ARQNL 3. 2018 Oxford

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Aachen, Germany: RWTH Aachen, [2018]

    Published in: CEUR workshop proceedings ; 209500

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

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Aachen, Germany: RWTH Aachen, [2016]

    Published in: CEUR workshop proceedings ; 177000

  18. Böhne, Sebastian [Author] ; Kreitz, Christoph [Degree supervisor]; Kreitz, Christoph [Other]; Benzmüller, Christoph [Other]; Ionescu, Cezar [Other]

    Different degrees of formality : an introduction to the concept and a demonstration of its usefulness

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Potsdam: Universität Potsdam, 2019

  19. Passon, Oliver [Editor]; Benzmüller, Christoph [Editor]; Falkenburg, Brigitte [Editor]

    On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit : Kurt Gödel essay competition 2021 – Kurt-Gödel-Preis 2021 - [1st ed. 2023.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2023. ; Berlin, Heidelberg: Imprint: Springer Spektrum, 2023.

  20. Kirchner, Daniel [Author] ; male [Contributor]; Benzmüller, Christoph [Contributor]; Zalta, Edward [Contributor]; Leitgeb, Hannes [Contributor]

    Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Freie Universität Berlin: Refubium (FU Berlin), 2022