Temporal logic 1

Bibliographische Detailangaben

1. Verfasser:	Gabbay, Dov M. (VerfasserIn)
Weitere Verfasser:	Hodkinson, Ian (VerfasserIn), Reynolds, Mark (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Oxford Clarendon Press 1994
Schriftenreihe:	Oxford logic guides 28
Schlagworte:	Temporale Logik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!