Truemper, Klaus <br/><br/>
Design of logic-based intelligent systems 

 - Singapore  John Wiley  2006 
 - xii, 352p.  
<br/><br/><label>ISBN: </label>981253217-X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Expert system<br/>Intelligent systems -- Logic-based<br/>Logic systems<br/>SAT and MINSAT -- Intelligent systems