で詳細を確認
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 : Kluwer Academic Publishers |
| 出版者 | Boston |
| 出版年 | c1995. |
| 大きさ | viii, 413 p. : ill. ; 23 cm. |
目次／あらすじ
書誌詳細を非表示
| 一般注記 | Includes bibliographical references (p. 386-404) and index. |
|---|---|
| 著者標目 | Øhrstrøm, Peter. Hasle, Per F. V. |
| 件 名 | Tense (Logic) Logic, Symbolic and mathematical. Time. |
| 分 類 | NDC:116 |
| 書誌ID | 1000215731 |
| ISBN | 0792335864 |
| NCID |
BA26042961 
|