Your search returned 2 results.

Results
	1.	Intelligent Computer Mathematics [electronic resource] : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings / edited by Catherine Dubois, Manfred Kerber. by Dubois, Catherine [editor.] Kerber, Manfred [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	2.	Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro. by Dubois, Catherine [editor.] San Pietro, Pierluigi [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 511.3. Place hold Save to lists

Refine your search