Title: Logic And Its Applications
Subtitle: 4th Indian Conference 2011 Delhi India January 511 2011 Proceedings
Subjects: Logic design, Electronic data processing, Computer science, Artificial intelligence, Computer software, Logic, symbolic and mathematical, Mathematics of Computing, Computing Methodologies, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics)