Your search returned 2 results.

Results
	1.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / by Ida, Tetsuo [editor.] Fleuriot, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7993 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / by Calmet, Jaques [editor.] Ida, Tetsuo [editor.] Wang, Dongming [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4120 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search