Your search returned 6 results.

Results
	1.	Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / by Kohlhase, Michael [editor.] Johansson, Moa [editor.] Miller, Bruce [editor.] de Moura, Leonardo [editor.] Tompa, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9791 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Mathematical Knowledge Management [electronic resource] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers / by Kohlhase, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3863 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)
	3.	KI 2006 [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings / by Freksa, Christian [editor.] Kohlhase, Michael [editor.] Schill, Kerstin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4314 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Alan Bundy / by Kohlhase, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4180 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)
	5.	Artificial Intelligence. ECAI 2023 International Workshops [electronic resource] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I / by Nowaczyk, Sławomir [editor.] Biecek, Przemysław [editor.] Chung, Neo Christopher [editor.] Vallati, Mauro [editor.] Skruch, Paweł [editor.] Jaworek-Korjakowska, Joanna [editor.] Parkinson, Simon [editor.] Nikitas, Alexandros [editor.] Atzmüller, Martin [editor.] Kliegr, Tomáš [editor.] Schmid, Ute [editor.] Bobek, Szymon [editor.] Lavrac, Nada [editor.] Peeters, Marieke [editor.] van Dierendonck, Roland [editor.] Robben, Saskia [editor.] Mercier-Laurent, Eunika [editor.] Kayakutlu, Gülgün [editor.] Owoc, Mieczyslaw Lech [editor.] Mason, Karl [editor.] Wahid, Abdul [editor.] Bruno, Pierangela [editor.] Calimeri, Francesco [editor.] Cauteruccio, Francesco [editor.] Terracina, Giorgio [editor.] Wolter, Diedrich [editor.] Leidner, Jochen L [editor.] Kohlhase, Michael [editor.] Dimitrova, Vania [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1947 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Artificial Intelligence. ECAI 2023 International Workshops [electronic resource] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II / by Nowaczyk, Sławomir [editor.] Biecek, Przemysław [editor.] Chung, Neo Christopher [editor.] Vallati, Mauro [editor.] Skruch, Paweł [editor.] Jaworek-Korjakowska, Joanna [editor.] Parkinson, Simon [editor.] Nikitas, Alexandros [editor.] Atzmüller, Martin [editor.] Kliegr, Tomáš [editor.] Schmid, Ute [editor.] Bobek, Szymon [editor.] Lavrac, Nada [editor.] Peeters, Marieke [editor.] van Dierendonck, Roland [editor.] Robben, Saskia [editor.] Mercier-Laurent, Eunika [editor.] Kayakutlu, Gülgün [editor.] Owoc, Mieczyslaw Lech [editor.] Mason, Karl [editor.] Wahid, Abdul [editor.] Bruno, Pierangela [editor.] Calimeri, Francesco [editor.] Cauteruccio, Francesco [editor.] Terracina, Giorgio [editor.] Wolter, Diedrich [editor.] Leidner, Jochen L [editor.] Kohlhase, Michael [editor.] Dimitrova, Vania [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1948 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 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