NCID | BA23177363 |
タイトル | Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.) |
出版者 | Berlin ; New York : Springer-Verlag , c1994 |
形態 | xi, 545 p. : ill. ; 24 cm |
注記 | Includes bibliographical references and index |
シリーズ名 | Lecture notes in computer science ; 827[Lecture notes in artificial intelligence]
|
分類 | LCC:QA76.6 DC20:511.3 |
件名 | LCSH:Electronicdigitalcomputers -- Programming
LCSH:Logic,Symbolicandmathematical
|
著者情報 | International Conference on Temporal Logic Gabbay, Dov M., 1945- Ohlbach, Hans Jürgen
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | ドイツ = ドイツ連邦共和国 |
ISBN | 354058241X(: gw) 038758241X(: us)
|
番号 | LCCN : 94003449 |