語系
Zhang, Xingyuan.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Deep integration, global firms, and technology spillovers
by:
Jinji, Naoto.; Zhang, Xingyuan.; Haruna, Shoji.; SpringerLink (Online service)
(書目-電子資源)
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
Urban, Christian.; Zhang, Xingyuan.; SpringerLink (Online service)
(書目-電子資源)
主題
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.
Technology transfer- Economic aspects.
International economic integration.
Logic, Symbolic and mathematical
Computer Science.
Systems and Data Security.
Economics, general.