Skip to contents

  1. Cadeddu, Alice [Author]; Junk, Claudia [Author]; Schneider, Thomas F. [Author]; Baghmanyan, Vanuhi [Author]; Dampc-Jarosz, Renata [Author]; Jarosz, Aleksandra [Author]; Bazyar, Shida [Author]; Koopmann, Julian [Author]; Asali-Van der Wahl, Renata [Author]; Jürgensen, Sven [Author]; Krisch, Marek [Author] ; Cadeddu, Alice [Editor]; Junk, Claudia [Editor]; Schneider, Thomas F. [Editor]; Remarque, Erich Maria [Honoree] V & R unipress GmbH

    Networking Remarque : zum 125. Geburtstag Erich Maria Remarques

    Books
    Close

    Bookmarks

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

    Göttingen: V&R unipress, [2024] ; Osnabrück: Universitätsverlag Osnabrück, [2024]

    Published in: Erich-Maria-Remarque-Jahrbuch ; 2023,33

  4. Alrabbaa, Christian; Baader, Franz; Borgwardt, Stefan; Dachselt, Raimund; Koopmann, Patrick; Méndez, Julián

    Automated Reasoning: Evonne: Interactive Proof Visualization for Description Logics (System Description)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer International Publishing, 2022

    Published in: Automated Reasoning