कोहा @ रा.प्रौ.सं.ह. / KOHA @ NITH catalog › Results of search for 'ccl=itype:EBK and su-to:Artificial intelligence and su-to:Mathematical logic.'

Your search returned 2 results.

Not what you expected? Check for suggestions

	1.	Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Mikołaj Bojańczyk, Alex Simpson. by Bojańczyk, Mikołaj [editor.] \| Simpson, Alex [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available : Add to cart (remove)
	2.	Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König. by Goubault-Larrecq, Jean [editor.] \| König, Barbara [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available : Add to cart (remove)