Search Results for Wang, Dongming.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWang$00252C$002bDongming.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-09-19T07:57:12Z
Symbolic-Numeric Computation
ent://SD_ILS/0/SD_ILS:198012
2024-09-19T07:57:12Z
2024-09-19T07:57:12Z
Author Wang, Dongming. editor. Zhi, Lihong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-7984-1">http://dx.doi.org/10.1007/978-3-7643-7984-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Differential Equations with Symbolic Computation
ent://SD_ILS/0/SD_ILS:197915
2024-09-19T07:57:12Z
2024-09-19T07:57:12Z
Author Wang, Dongming. editor. Zheng, Zhiming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-7643-7429-2">http://dx.doi.org/10.1007/3-7643-7429-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics mechanization and applications
ent://SD_ILS/0/SD_ILS:256505
2024-09-19T07:57:12Z
2024-09-19T07:57:12Z
Author Gao, Xiao-Shan. Wang, Dongming, 1961-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780127347608">http://www.sciencedirect.com/science/book/9780127347608</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
ent://SD_ILS/0/SD_ILS:182615
2024-09-19T07:57:12Z
2024-09-19T07:57:12Z
Author Hong, Hoon. editor. Wang, Dongming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11615798">http://dx.doi.org/10.1007/11615798</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399982
2024-09-19T07:57:12Z
2024-09-19T07:57:12Z
Author Fleuriot, Jacques. editor. Wang, Dongming. editor. Calmet, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99957-9">https://doi.org/10.1007/978-3-319-99957-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184750
2024-09-19T07:57:12Z
2024-09-19T07:57:12Z
Author Calmet, Jacques. editor. Ida, Tetsuo. editor. Wang, Dongming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11856290">http://dx.doi.org/10.1007/11856290</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>