| 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 |