X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
zurück zur Trefferliste
  • 1
    Buch
    Buch
    Automata logics, and infinite games : a guide to current research (2002)
    Berlin [u.a.] : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB13465967
    Umfang: VIII, 385 Seiten , graph. Darst. , 24 cm
    ISBN: 3540003886
    Serie: Lecture notes in computer science 2500
    Anmerkung: Literaturverz. S. 365 - 376 , Text engl.
    Sprache: Englisch
    Schlagwort(e): Unendliches Spiel ; Zweipersonenspiel ; Aufsatzsammlung ; Büchi-Automat ; Aufsatzsammlung ; Unendliches Spiel ; Baumautomat ; Bewachte Logik ; Stufe 2 ; Model Checking ; Aufsatzsammlung ; My-Kalkül ; Logik ; Stufe 2 ; Monade 〈Mathematik〉 ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    Berlin VÖBB/ZLB get availability status
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz