Treffer 1 – 3 von 3 für Suche 'Yavorskiy, Rostislav', Suchdauer: 0,04s 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
    On Kripke-style semantics for the provability logic of Gödel's proof predicate with quantifiers on proofs

    On Kripke-style semantics for the provability logic of Gödel's proof predicate with quantifiers on proofs von Yavorskiy, Rostislav

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers

    Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers

    Veröffentlicht 2024
    Weitere Verfasser: “… Yavorskiy, Rostislav …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

    Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

    Veröffentlicht 2021
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: