Advances in temporal logic

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Barringer, Howard (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Dordrecht u.a. Kluwer Acad. Publ. 2000
Schriftenreihe:Applied logic series 16
Schlagworte:
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Beschreibung:IX, 453 S
graph. Darst
25 cm
ISBN:0792361490
0-7923-6149-0