Automated practical reasoningDongming Wang
Automated practical reasoning
Dongming Wang · 1995
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1995
- שפה
- English
- הוצאה
- Springer-Verlag Telos
- מהדורות
- 5
- עמודים
- 223
- ISBN
- 9780387826004
מקור הנתונים: Wikidata
עוד של Dongming Wang
Elimination MethodsDongming Wang
Elimination Methods
Dongming Wang · 2001
Mathematics Mechanization and ApplicationsDongming Wang
Mathematics Mechanization and Applications
Dongming Wang · 2000
Symbolic-numeric computationDongming Wang
Symbolic-numeric computation
Dongming Wang · 2007
Differential Equations with Symbolic Computation (Trends in Mathematics)Dongming Wang
Differential Equations with Symbolic Computation (Trends in Mathematics)
Dongming Wang · 2005
Differential equations with symbolic computationDongming Wang
Differential equations with symbolic computation
Dongming Wang · 2005
Automated Deduction in GeometryDongming Wang
Automated Deduction in Geometry
Dongming Wang · 1998
Kai guo ling xiu Mao Zedong yu ShandongDongming Wang
Kai guo ling xiu Mao Zedong yu Shandong
Dongming Wang · 2009
Tang mo Yuan chu si bai nianDongming Wang
Tang mo Yuan chu si bai nian
Dongming Wang · 2015