NCID | BA23281751 |
タイトル | Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson and Mark Reynolds |
出版者 | Oxford : Clarendon Press New York ; Tokyo : Oxford University Press , 1994- |
形態 | v. : ill. ; 24 cm |
注記 | Includes bibliographical references and indexes Vol. 2 (published 2000) by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger |
シリーズ名 | Oxford logic guides ; 28, 40
|
分類 | LCC:QA76.6 DC20:511.3 |
件名 | LCSH:Electronicdigitalcomputers -- Programming
LCSH:Logic,Symbolicandmathematical
|
著者情報 | Gabbay, Dov M., 1945- Hodkinson, Ian Reynolds, Mark (Mark A.) Finger, Marcelo
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | イギリス |
ISBN | 0198537697(v. 1) 0198537689(v. 2)
|
番号 | LCCN : 94019153 |