IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Logic design and su-to:Mathematical Logic and Formal Languages and su-to:Programming Techniques'

Your search returned 261 results.

Not what you expected? Check for suggestions

			Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] \| Middeldorp, Aart [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8312Source: 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