Banerjee, Mohua. <br/><br/>
Logic and Its Applications  4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / 
edited by Mohua Banerjee, Anil Seth. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642180262 
<br/><br/><label>Subjects--Topical Terms: </label><br/>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.