查詢 sb:Temporal automata. ，共 1 筆
查詢再細分
-
- 出版年
- 2023(1)
-
- 語言
- 英語(1)
-
- 作者
- Centrone, Stefania.(1)
- Mainzer, Klaus.(1)
-
- 資料類型
- 電子書(1)
-
1 0 0 0 0Temporal logic[electronic resource] :from philosophy and proof theory to artificial intelligence and quantum computing
- 作者: Centrone, Stefania.
- 出版: Singapore ;Hackensack, NJ : World Scientific c2023.
- 資料類型: 電子書