- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Wang, Dongming

Showing 1 - 10 of 17 results

Search Results

Cover image for Mathematics Mechanization and Applications

Mathematics Mechanization and Applications

by Wang, Dongming
2000
Format: Electronic

Location
Access Content Online

Cover image for Symbolic computation and education

Symbolic computation and education

by International Seminar on Symbolic Computation in Education
2007
Format: Electronic

Location
Access Content Online

Cover image for Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16?19, 2018, Proceedings

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16?19, 2018, Proceedings

by Fleuriot, Jacques
2018
Format: Electronic

Location
Access Content Online

Cover image for Artificial intelligence and symbolic computation

Artificial intelligence and symbolic computation

by AISC 2006
2006
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction in geometry

Automated deduction in geometry

by International Workshop on Automated Deduction in Geometry
2006
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction in geometry

Automated deduction in geometry

by International Workshop on Automated Deduction in Geometry
1998
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction in geometry

Automated deduction in geometry

by International Workshop on Automated Deduction in Geometry
1999
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction in geometry

Automated deduction in geometry

by International Workshop on Automated Deduction in Geometry
2001
Format: Electronic

Location
Access Content Online

Cover image for Geometric computation

Geometric computation

2004
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA448.D38 G454 2004	✔ Available

Cover image for Automated deduction in geometry

Automated deduction in geometry

by International Workshop on Automated Deduction in Geometry
2006
Format: Book

Location
Access Content Online