Your search returned 4 results.

Results
	1.	Intelligent Computer Mathematics [electronic resource] : 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings / by Kamareddine, Fairouz [editor.] Sacerdoti Coen, Claudio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12833 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Intelligent Computer Mathematics [electronic resource] : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings / by Kaliszyk, Cezary [editor.] Brady, Edwin [editor.] Kohlhase, Andrea [editor.] Sacerdoti Coen, Claudio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11617 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Functional and Constraint Logic Programming [electronic resource] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / by Hanus, Michael [editor.] Sacerdoti Coen, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12560 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 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] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings / by Carette, Jacques [editor.] Dixon, Lucas [editor.] Sacerdoti Coen, Claudio [editor.] Watt, Stephen [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5625 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 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