语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
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)
处理中
...
变更密码
登入