Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings - Ramanujam, R.; Sarukkai, Sundar; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Information theory; Computer software; Electronic data processing; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Theory of Computation; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Computing Methodologies; Mathematics of Computing