Media type: Book Title: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds 2 Contributor: Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] imprint: Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 2,2003 Oxford logic guides ; 40,2003 Issue: Repr. Extent: XIII, 597 S. Language: English ISBN: 0198537689 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Temporale Logik Origination: Footnote:
Departmental Library DrePunct Shelf-mark: SK 130 G112 T2-2 Item ID: 31003073 Status: Verfügbarkeit bitte in Prof Automatentheorie erfragen.