Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle
(Studies in linguistics and philosophy ; v. 57)
| 出版者 | Dordrecht ; Boston : Kluwer Academic Publishers |
|---|---|
| 出版年 | c1995 |
| 大きさ | viii, 413 p. : ill. ; 23 cm |
目次
所蔵情報を非表示
| 巻 次 | 配架場所 | 請求記号 | 資料番号 | 状 態 | コメント | 請求メモ（学内のみ） | 予約 | |
|---|---|---|---|---|---|---|---|---|
|
|
|
書庫外部保存庫 | D410/102-57 | 952018984 |
|
書誌詳細を非表示
| 一般注記 | Bibliography: p. 386-404 Includes index |
|---|---|
| NCID | BA26042961 |
| 本文言語 | 英語 |
| 著者標目 | *Øhrstrøm, Peter Hasle, Per F. V. |
| 分 類 | NDC9:116 LCC:BC199.T4 DC20:160 |
| 件 名 | LCSH:Tense (Logic) LCSH:Logic, Symbolic and mathematical LCSH:Time |
| ISBN | 0792335864 |
| 書誌ID | BB00198253 |
| 巻冊次 | ISBN:0792335864 |