Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture Notes in Computer Science)
by Dongming Wang
ISBN 13: 9783540642978
Format: Paperback (248 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers: 2061 (Lecture Notes in Computer Science)
by Dongming Wang,J??rgen Richter-Gebert
ISBN 13: 9783540425984
Format: Paperback (340 pages) Publisher: Springer Published: 13 Jun 2008
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings: 4120 (Lecture Notes in Computer Science)
by Tetsuo Ida,Dongming Wang,Jaques Calmet
ISBN 13: 9783540397281
Format: Illustrated (288 pages) Publisher: Springer Published: 13 Jun 2008
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers: 3763 (Lecture Notes in Computer Science)
by Hoon Hong,Dongming Wang
ISBN 13: 9783540313328
Format: Illustrated (228 pages) Publisher: Springer Berlin Heidelberg Published: 25 Jan 2006
Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings: 11110 (Lecture Notes in Computer Science)
by Jacques Fleuriot,Dongming Wang,Jacques Calmet
ISBN 13: 9783319999562
Format: Paperback (280 pages) Publisher: Springer Published: 22 Aug 2018
Distributed MIMO and Cell-Free Mobile Communication
by Xiaohu You,Dongming Wang,Jiangzhou Wang
ISBN 13: 9789811598470
Format: Paperback (233 pages) Publisher: Springer Published: 23 Dec 2021