Zhang, Xingyuan.
概要
| 作品: | 2 作品在 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]
Deep Integration, Global Firms, and Technology Spillovers
by:
Jinji, Naoto.; Haruna, Shoji.; SpringerLink (Online service); Zhang, Xingyuan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Software Engineering.
Mathematical logic.
International economic relations.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Automatic theorem proving
Software engineering.
International Economics.
Logic, Symbolic and mathematical
Computer Science.
Computer security.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Economics.
Artificial Intelligence (incl. Robotics)
Economy-wide Country Studies.
Economic history.
Artificial Intelligence.