X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
  • 1
    Book
    Book
    Automata logics, and infinite games : a guide to current research (2002)
    Berlin [u.a.] : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB13465967
    Format: VIII, 385 Seiten , graph. Darst. , 24 cm
    ISBN: 3540003886
    Series Statement: Lecture notes in computer science 2500
    Note: Literaturverz. S. 365 - 376 , Text engl.
    Language: English
    Keywords: 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
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin VÖBB/ZLB get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages