Eintrag weiter verarbeiten
Temporal logic: mathematical foundations and computational aspects
Gespeichert in:
Personen und Körperschaften: | , , , |
---|---|
Titel: | Temporal logic: mathematical foundations and computational aspects/ Dov M. Gabbay; Ian Hodkinson and Mark Reynolds |
veröffentlicht: |
Oxford:
Clarendon Press,
1994-2003
|
Inhalte/Bestandteile: | 2 Bände |
Teil von: | Oxford logic guides ; ... |
Format: | Buch |
Quelle: | Verbunddaten SWB |
Anmerkungen: | Vol. 2 verfaßt von Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger |
Sprache: | Englisch |