語系
Urban, Christian.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
Zhang, Xingyuan.; SpringerLink (Online service); Urban, Christian.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
by:
Urban, Christian.; Zhang, Xingyuan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Artificial Intelligence (incl. Robotics)
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Logic, Symbolic and mathematical
Computer Science.
Computer security.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.