Zhang, Xingyuan.
Overview
Works: | 2 works in 2 publications in 1 languages |
---|
Titles
Deep integration, global firms, and technology spillovers
by:
Haruna, Shoji.; Jinji, Naoto.; SpringerLink (Online service); Zhang, Xingyuan.
(Electronic resources)
Interactive theorem proving6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(1998 :); SpringerLink (Online service); Urban, Christian.; Zhang, Xingyuan.
(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.
International economic integration.
Technology transfer
Logic, Symbolic and mathematical
Computer Science.
Systems and Data Security.
Economics, general.