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
SignaturLeihartStandortStatusLeihfrist
TCL4276Normalausleihe
Ebene 3
Nicht entliehen–
Nach oben
Die Universität der Informationsgesellschaft