語系
Wang, Dongming.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Differential Equations with Symbolic Computation
by:
Zheng, Zhiming.; Wang, Dongming.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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.