Croitoru, Madalina. <br/><br/>
Graph Structures for Knowledge Representation and Reasoning  Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / 
edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642294495 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Computer software.; Logic design.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Programming Techniques.; Computation by Abstract Devices.