Search Results for Wang, Dongming. - Narrowed by: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWang$00252C$002bDongming.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ic$003dtrue$0026ps$003d300?
2024-12-14T04:57:49Z
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-12-14T04:57:49Z
2024-12-14T04:57:49Z
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-12-14T04:57:49Z
2024-12-14T04:57:49Z
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-12-14T04:57:49Z
2024-12-14T04:57:49Z
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/>