Jump to main content

yr 〜
yr

Search results 22

Automated deduction in geometry : 5th international workshop, ADG 2004 : Gainesville, FL, USA, September 16-18, 2004 : revised papers. : ADG 2004 meeting : Sep 2004, Gainesville, FL. (Lecture Notes in Computer Science ; 3763. Lecture Notes in Artificial Intelligence)

Automated deduction in geometry : 5th international workshop, ADG 2004 : Gainesville, FL, USA, September 16-18, 2004 : revised papers. : ADG 2004 meeting : Sep 2004, Gainesville, FL. (Lecture Notes in Computer Science ; 3763. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2006.<M17-06-1001>
National Diet Library
  • Author Heading...a. Hong, Hoon. Wang, Dongming. International Workshop on Aut...

Automated deduction in geometry : third international workshop, ADG 2000 : Zurich, Switzerland, September 25-27, 2000 : revised papers. : Sep 2000, Zurich, Switzerland. (Lecture Notes in Computer Science ; 2061. Lecture Notes in Artificial Intelligence)

Automated deduction in geometry : third international workshop, ADG 2000 : Zurich, Switzerland, September 25-27, 2000 : revised papers. : Sep 2000, Zurich, Switzerland. (Lecture Notes in Computer Science ; 2061. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2001.<M17-03-2259>
National Diet Library
  • Author Heading... Jürgen, 1963- Wang, Dongming. International Workshop on Aut...

Computer mathematics : proceedings of the fourth Asian symposium (ASCM 2000) : Chiang Mai, Thailand, 17-21 December 2000. : Dec 2000, Chiang Mai, Thailand. (Lecture Notes Series on Computing ; 8)

Computer mathematics : proceedings of the fourth Asian symposium (ASCM 2000) : Chiang Mai, Thailand, 17-21 December 2000. : Dec 2000, Chiang Mai, Thailand. (Lecture Notes Series on Computing ; 8)
Paper図書
World Scientificc2000.<M17-03-506>
National Diet Library
  • Author HeadingGao, Xiao-Shan. Wang, Dongming. Asian Symposium on Computer M...

Symbolic-numeric computation

Symbolic-numeric computation
Paper図書
Dongming Wang, Lihong Zhi editorsBirkhäuserc2007
Other Libraries in Japan

Symbolic computation and education

Symbolic computation and education
Paper図書
editors, Shangzhi Li, Dongming Wang, Jing-Zhong ZhangWorld Scientificc2007
Other Libraries in Japan

Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006, proceedings

Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006, proceedings
Paper図書
Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)Springerc2006
Other Libraries in Japan

Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Paper図書
Hoon Hong, Dongming Wang (eds.)Springerc2006
Other Libraries in Japan

Differential equations with symbolic computation : e-book

Differential equations with symbolic computation : e-book
Paper図書
Dongming Wang, Zhiming Zheng, editorsBirkhäuserc2005
Other Libraries in Japan

Elimination practice : software tools and applications

Elimination practice : software tools and applications
Paper図書
Dongming WangImperial College Pressc2004
Other Libraries in Japan

Geometric computation

Geometric computation
Paper図書
editors Falai Chen and Dongming WangWorld Scientificc2004
Other Libraries in Japan

Elimination methods

Elimination methods
Paper図書
D. WangSpringer2001
Other Libraries in Japan

Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
Paper図書
Jürgen Richter-Gebert, Dongming Wang (eds.)Springerc2001
Other Libraries in Japan

Mathematics mechanization and applications

Mathematics mechanization and applications
Paper図書
edited by Xiao-Shan Gao and Dongming WangAcademic Pressc2000
Other Libraries in Japan

Computer mathematics : proceedings of fourth Asian Symposium (ASCM 2000), Chiang Mai, Thailand, 17-21 December 2000

Computer mathematics : proceedings of fourth Asian Symposium (ASCM 2000), Chiang Mai, Thailand, 17-21 December 2000
Paper図書
edited by Xiao-Shan Gao, Dongming WangWorld Scientific2000
Other Libraries in Japan

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers
Paper図書
Dongming Wang (ed.)Springerc1997
Other Libraries in Japan

Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings

Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings
Paper図書
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)Springerc1999
Other Libraries in Japan

中国株式市場の形成と発展〈1978-2020〉 : 「移行経済型市場」と国際的インパクトを中心に

中国株式市場の形成と発展〈1978-2020〉 : 「移行経済型市場」と国際的インパクトを中心に
Paper図書
王東明 著関西学院大学出版会2022.5<DF178-M64>
National Diet LibraryOther Libraries in Japan

中国株式市場の形成と発展 (1978-2020) : 「移行経済型市場」と国際的インパクトを中心に

中国株式市場の形成と発展 (1978-2020) : 「移行経済型市場」と国際的インパクトを中心に
Paper博士論文
王東明 著関西学院大学出版会2022<UT51-2024-A221>
National Diet Library

Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 : Beijing, China, September 20-22, 2006 : proceedings. : Sep 2006, Beijing, China. (Lecture Notes in Computer Science ; 4120. Lecture Notes in Artificial Intelligence)

Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 : Beijing, China, September 20-22, 2006 : proceedings. : Sep 2006, Beijing, China. (Lecture Notes in Computer Science ; 4120. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2006.<M17-06-3037>
National Diet Library

Automated practical reasoning : algebraic approaches : au : us

Automated practical reasoning : algebraic approaches : au : us
Paper図書
Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim CunninghamSpringer-Verlagc1995
Other Libraries in Japan
RSS