Zhang, Xingyuan.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
by:
Urban, Christian.; Zhang, Xingyuan.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Deep Integration, Global Firms, and Technology Spillovers
by:
Jinji, Naoto.; Haruna, Shoji.; SpringerLink (Online service); Zhang, Xingyuan.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
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.