Your search returned 5 results.

Results
	1.	Algorithmic Intelligence [electronic resource] : Towards an Algorithmic Foundation for Artificial Intelligence / by Edelkamp, Stefan [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	KI 2011: Advances in Artificial Intelligence [electronic resource] : 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings / by Bach, Joscha [editor.] Edelkamp, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7006 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / by Edelkamp, Stefan [editor.] Lomuscio, Alessio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4428 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.	Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / by Bosnacki, Dragan [editor.] Edelkamp, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4595 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)
	5.	KI 2021: Advances in Artificial Intelligence [electronic resource] : 44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings / by Edelkamp, Stefan [editor.] Möller, Ralf [editor.] Rueckert, Elmar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12873 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)

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