Baral, Chitta <br/><br/>
Knowledge Representation, Reasoning and Declarative Problem Solving 
Baral, Chitta 
 -  Cambridge University Press  2003 
 - On-campus e-Book by ebrary under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9780511148910     
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers & IT