跳至 : 概要 | 書目資訊 | 主題

Wang, Dongming.

概要

作品:	1 作品在 2 項出版品 1 種語言

書目資訊

Differential Equations with Symbolic Computation by: Zheng, Zhiming.; Wang, Dongming.; SpringerLink (Online service) (書目-語言資料,印刷品)

Mathematics mechanization and applications by: Gao, Xiao-Shan.; Wang, Dongming. (書目-語言資料,印刷品)

Artificial intelligence and symbolic computation = 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018 : proceedings / by: Wang, Dongming.; Workshop on the Preservation of Stability under Discretization ((2001 :); Calmet, Jacques.; SpringerLink (Online service); Fleuriot, Jacques. (書目-語言資料,印刷品)

Distributed MIMO and Cell-Free Mobile Communication by: You, Xiaohu.; SpringerLink (Online service); Wang, Jiangzhou.; Wang, Dongming. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

Artificial Intelligence and Symbolic Computation = 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / by: Fleuriot, Jacques.; Calmet, Jacques.; SpringerLink (Online service); Wang, Dongming. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

主題

Mathematical logic. Computer science—Mathematics. Math Applications in Computer Science. Artificial intelligence. Wireless and Mobile Communication. Mobile communication systems. Information Systems Applications (incl. Internet). Computer Science. Algorithms. Mathematical Logic and Formal Languages. Information Systems Applications (incl. Internet) Partial Differential Equations. Computational Mathematics and Numerical Analysis. Artificial intelligence Artificial Intelligence (incl. Robotics) Application software. Differential equations. Artificial Intelligence. Mathematics. Equations Wireless communication systems. Differential equations, Partial. Logic, Symbolic and mathematical Automatic theorem proving.