Normal view MARC view ISBD view

Logic and its applications : LNCS 7750 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings / [edited by] Kamal Lodaya.

By: Lodaya, Kamal [ed.].
Material type: TextTextSeries: Lecture notes in computer science ; 7750.Publisher: New York : Springer, 2013Edition: 1st ed.Description: x, 257 p. 22 cm.ISBN: 9783642360381 (soft cover : alk. paper); 3642360386 (soft cover : alk. paper).Subject(s): Logic. -- Congresses--Computer ScienceSummary: Gifted ny S P Suresh.