Hill, Patricia M. <br/><br/>
Logic Programming  25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings / 
edited by Patricia M. Hill, David S. Warren. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642028465 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Logic design.; Artificial intelligence.; Computer Science.; Mathematics of Computing.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Programming Techniques.