Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings - Banerjee, Mohua; Seth, Anil.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer software; Logic design; Electronic data processing; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Computing Methodologies; Mathematics of Computing