IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Logics and Meanings of Programs and su-to:Logic, Symbolic and mathematical'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by Michael Kaminski, Simone Martini. by Kaminski, Michael [editor.] \| Martini, Simone [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5213Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. by Grumberg, Orna [editor.] \| Kaminski, Michael [editor.] \| Katz, Shmuel [editor.] \| Wintner, Shuly [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5533Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags