Treffer 1 – 3 von 3 für Suche 'Simpson, Alex K.', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    The proof theory and semantics of intuitionistic modal logic

    The proof theory and semantics of intuitionistic modal logic von Simpson, Alex K.

    Veröffentlicht 1994
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Foundations of software science and computation structures 22nd international conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

    Foundations of software science and computation structures 22nd international conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Sof...

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    30th EACSL Annual Conference on Computer Science Logic CSL 2022, February 14–19, 2022, Göttingen, Germany (Virtual Conference)

    30th EACSL Annual Conference on Computer Science Logic CSL 2022, February 14–19, 2022, Göttingen, Germany (Virtual Conference)

    Veröffentlicht 2022
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: