Mein Bibliothekskonto
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Universitätsbibliothek
Recherche
Katalog
Details
Details
Autor(en)
Gabbay, Dov M.
;
Hodkinson, Ian
;
Reynolds, Mark
Titel
Temporal logic : mathematical foundations and computational aspects
Teil von
Oxford logic guides
Ort / Verlag
Oxford : Clarendon Press
Erscheinungsjahr
1994 -
Bände
Format
–
Sprache(n)
Englisch
Identifikator(en)
OCLC-Nummer: 600960382
Links zum Inhalt
–
–
Schlagwörter
Temporale Logik
,
Theoretische Informatik
Systemstelle
TCL
Signatur
TCL4276
Exemplare
Für Kontofunktionen bitte anmelden
Signatur
Leihart
Standort
Status
Leihfrist
TCL4276
Normalausleihe
Ebene 3
Nicht entliehen
–
Nach oben
Die Universität der Informationsgesellschaft