Languages
Wang, Dongming.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Differential Equations with Symbolic Computation
by:
Zheng, Zhiming.; Wang, Dongming.; SpringerLink (Online service)
(Language materials, printed)
Mathematics mechanization and applications
by:
Gao, Xiao-Shan.; Wang, Dongming.
(Language materials, printed)
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.
(Language materials, printed)
Distributed MIMO and Cell-Free Mobile Communication
by:
You, Xiaohu.; SpringerLink (Online service); Wang, Jiangzhou.; Wang, Dongming.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.