語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Decidability (Mathematical logic) - Congresses.
概要
作品:
1 作品在 1 項出版品 1 種語言
書目資訊
Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer systems
Computer science
Computer Science.
Decidability (Mathematical logic)
處理中
...
變更密碼
登入