Languages
Zhang, Xingyuan.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Deep integration, global firms, and technology spillovers
by:
Jinji, Naoto.; Zhang, Xingyuan.; Haruna, Shoji.; SpringerLink (Online service)
(Electronic resources)
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
Urban, Christian.; Zhang, Xingyuan.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.