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

SignaturLeihartStandortStatusLeihfrist
TCL4276Normalausleihe
Ebene 3
Nicht entliehen
Die Universität der Informationsgesellschaft