查詢 au:"Hasle, Per F. V." ,共 1 筆
查詢再細分
-
- 出版年
- 1995(1)
-
- 語言
- 英語(1)
-
- 作者
- Hasle, Per F. V.(1)
- Øhrstrøm, Peter.(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- Logic, Symbolic and mathematical.(1)
- Logic.(1)
- Logique symbolique et mathématique.(1)
- PHILOSOPHY(1)
- Temps (Logique)(1)
- Temps.(1)
- Tense (Logic)(1)
- Time(1)
- Time.(1)
- time.(1)
-
8 0 0 0 0
Temporal logic :from ancient ideas to artificial intelligence
- 作者: Øhrstrøm, Peter.
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©1995.
- 資料類型: 電子書