Zhang, Xingyuan.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Deep integration, global firms, and technology spillovers
by:
Haruna, Shoji.; Jinji, Naoto.; SpringerLink (Online service); Zhang, Xingyuan.
(書目-電子資源)
Interactive theorem proving6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(1998 :); SpringerLink (Online service); Urban, Christian.; Zhang, Xingyuan.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Economy-wide Country Studies.
Logics and Meanings of Programs.
International Economics.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
International economic integration.
Technology transfer
Logic, Symbolic and mathematical
Computer Science.
Systems and Data Security.
Economics, general.