Your search returned 6 results.

Results
	1.	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) Series: Lecture Notes in Artificial Intelligence ; 11110 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 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] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / by Aranda-Corral, Gonzalo A [editor.] Calmet, Jacques [editor.] Martín-Mateos, Francisco J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8884 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / by Calmet, Jacques [editor.] Geiselmann, Willi [editor.] Müller-Quade, Jörn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5393 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings / by Autexier, Serge [editor.] Calmet, Jacques [editor.] Delahaye, David [editor.] Ion, P.D.F [editor.] Rideau, Laurence [editor.] Rioboo, Renaud [editor.] Sexton, Alan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6167 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / by Calmet, Jacques [editor.] Plaza, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1476 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / by Calmet, Jacques [editor.] Benhamou, Belaid [editor.] Caprotti, Olga [editor.] Henocque, Laurent [editor.] Sorge, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2385 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in