IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Logic design and au:Voronkov, Andrei'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. by Clarke, Edmund [editor.] \| Virbitskaite, Irina [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7162Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach. by Voronkov, Andrei [editor.] \| Weidenbach, Christoph [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7797Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags