Wang, Dongming.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Automated deduction in geometrySecond International Workshop, ADG '98, Beijing, China, August 1998 : proceedings /
by:
(1998 :); Gao, Xiao-Shan.; SpringerLink (Online service); Wang, Dongming.; Yang, Lu.
(書目-電子資源)
Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
by:
(1998 :); Hong, Hoon.; SpringerLink (Online service); Wang, Dongming.
(書目-電子資源)
Automated deduction in geometryInternational Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
by:
(1998 :); SpringerLink (Online service); Wang, Dongming.
(書目-電子資源)
Automated deduction in geometrythird international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
by:
(1998 :); Richter-Gebert, Jurgen.; SpringerLink (Online service); Wang, Dongming.
(書目-電子資源)
Distributed MIMO and cell-free mobile communication
by:
SpringerLink (Online service); Wang, Dongming.; Wang, Jiangzhou.; You, Xiaohu.
(書目-電子資源)
Artificial intelligence and symbolic computation13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018 : proceedings /
by:
(1998 :); Calmet, Jacques.; Fleuriot, Jacques.; SpringerLink (Online service); Wang, Dongming.
(書目-電子資源)
主題
Differential equations, partial
Mathematical Logic and Formal Languages.
Artificial intelligence
Mathematics
Pattern Recognition.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer Graphics.
Information Systems Applications (incl. Internet)
Geometry
Wireless and Mobile Communication.
Convex and Discrete Geometry.
Mobile communication systems.
Computer science
MIMO systems.
Computational Mathematics and Numerical Analysis
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Partial Differential Equations