Zum Inhalt springen

  3. Simonovits, Anna [VerfasserIn] ; Schuffenhauer, Werner [BearbeiterIn]; Noelle, Annemarie [Sonstige Person, Familie und Körperschaft]; Leibniz, Gottfried Wilhelm [Sonstige Person, Familie und Körperschaft]

    Dialektisches Denken in der Philosophie von Gottfried Wilhelm Leibniz

    Bücher
    Schließen

    Merkliste

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

    Budapest: Akad. Kiadó, 1968 ; Berlin [u.a.]: Akad.-Verl. [u.a.], 1968

  4. Hofmann, Martin [VerfasserIn]; Lange, Martin [VerfasserIn]

    Automatentheorie und Logik

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: eXamen.press

  7. Grädel, Erich [HerausgeberIn]; Thomas, Wolfgang [Sonstige Person, Familie und Körperschaft]; Wilke, Thomas [Sonstige Person, Familie und Körperschaft]; Thomas, Wolfgang [HerausgeberIn]; Wilke, Thomas [HerausgeberIn]

    Automata, logics, and infinite games : a guide to current research

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2002

    Erschienen in: Lecture notes in computer science ; 2500

  8. Constantin, Carmen [VerfasserIn]; Dicaire, Nuiok [VerfasserIn]; Heunen, Chris [VerfasserIn] ; Carmen Constantin and Nuiok Dicaire and Chris Heunen [MitwirkendeR]

    Localisable Monads

    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  12. Maršík, Jiří [VerfasserIn] ; Université de Lorraine [MitwirkendeR]; Groote, Philippe de [MitwirkendeR]; Amblard, Maxime [MitwirkendeR]

    Les effects et les handlers dans le langage naturel ; Effects and handlers in natural language

    Hochschulschriften
    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.

    theses.fr, 2016-12-09

  17. Grädel, Erich [VerfasserIn] ; Thomas, Wolfgang [Sonstige Person, Familie und Körperschaft]; Wilke, Thomas [Sonstige Person, Familie und Körperschaft]

    Automata Logics, and Infinite Games : A Guide to Current Research

    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.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2500

  19. Dylus, Sandra [VerfasserIn] ; Hanus, Michael [AkademischeR BetreuerIn]; Voigtländer, Janis [Sonstige Person, Familie und Körperschaft]

    Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning

    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.

    Kiel: Universitätsbibliothek Kiel, 2020

  20. Dylus, Sandra [VerfasserIn] ; Hanus, Michael [MitwirkendeR]; Voigtländer, Janis [MitwirkendeR]

    Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning

    Hochschulschriften
    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.

    MACAU: Open Access Repository of Kiel University, 2019