Your search returned 25 results.

Results
	21.	Advanced artificial intelligence by Shi, Zhongzhi Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : World Scientific, ©2022 Availability: Items available for loan: IIITD (1)Call number: 006.3 SHI-A. Place hold Add to cart (remove)
	22.	Wonder : childhood and the lifelong love of science by Keil, Frank C Material type: Text; Format: print ; Literary form: Not fiction Publication details: Massachusetts : MIT Press, ©2022 Availability: Items available for loan: IIITD (1)Call number: 155.413 KEI-W. Place hold Add to cart (remove)
	23.	Simple Type Theory [electronic resource] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by Farmer, William M [author.] SpringerLink (Online service) Series: Computer Science Foundations and Applied Logic Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	Mathematical Reasoning: The History and Impact of the DReaM Group [electronic resource] / by Michaelson, Gregory [editor.] SpringerLink (Online service) 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)
	25.	Tests and Proofs [electronic resource] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / by Prevosto, Virgile [editor.] Seceleanu, Cristina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14066 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 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