Mein Bibliothekskonto
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Universitätsbibliothek
Recherche
Katalog
Suche
Katalog
Central Discovery Index
Bitte beachten Sie auch das
verfügbare Angebot an E-Books, die zurzeit noch nicht in unserem Katalog nachgewiesen sind
, aber über die Verlagsportale bereits freigeschaltet sind.
Suche teilen
Suche als RSS-Feed
Suche verfeinern
1 – 3 von 3
Temporal logic : mathematical foundations and computational aspects
Oxford logic guides
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark - 1994 -
Signatur:
TCL4276
Temporal logic : mathematical foundations and computational aspects Bd. 1
Temporal logic; Bd. 1
(alle Bände)
Oxford logic guides; Bd. 28
(alle Bände)
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark - 1994
Signatur:
TCL4276-1
Temporal logic : mathematical foundations and computational aspects Bd. 2
Temporal logic; Bd. 2
(alle Bände)
Oxford logic guides; Bd. 40
(alle Bände)
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark - 2000
Signatur:
TCL4276-2
Nach oben
Die Universität der Informationsgesellschaft