Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / edited by Kamal Lodaya.

by Lodaya, Kamal [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings / edited by Kamal Lodaya, Meena Mahajan.

by Lodaya, Kamal [editor.] | Mahajan, Meena [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Logic and Its Applications [electronic resource] : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings / edited by Kamal Lodaya.

by Lodaya, Kamal [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available