FEEDBACK Smiley face

Your search returned 6 results. Subscribe to this search

|
1. Automated Deduction in Geometry [electronic resource] :International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers /

by Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

2. Automated Deduction in Geometry [electronic resource] :Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings /

by Gao, Xiao-Shan [author.] | Wang, Dongming [author.] | Yang, Lu [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

3. Automated Deduction in Geometry [electronic resource] :Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers /

by Richter-Gebert, Jürgen [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

4. Automated Deduction in Geometry [electronic resource] :5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers /

by Hong, Hoon [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available

5. Artificial Intelligence and Symbolic Computation [electronic resource] :8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /

by Calmet, Jacques [editor.] | Ida, Tetsuo [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available

6. Artificial Intelligence and Symbolic Computation [electronic resource] :13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings /

by Fleuriot, Jacques [editor.] | Wang, Dongming [editor.] | Calmet, Jacques [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in