Truemper, K., <br/><br/>
Design of logic-based intelligent systems / 
Klaus Truemper. 
 - Hoboken, NJ :  John Wiley,  2004. 
 - xii, 352 p. ;  24 cm. 
<br/><br/>Introduction (Page-1), Logic Problems (Page-9), Variations of SAT And MINSAT (Page-34), Quantified SAT and MINSAT (Page-55), Formulation of Logic Sys (Page-95), Uncertainty (Page-132), Learning (Page-155), Learning Formulas (Page-157), Accuracy of Learned Formulas (Page-197), Advanced Reasoning (Page-233), Question and Answer Process (Page-256), Applications (Page-299).  
<br/><br/><label>ISBN: </label> 0471484032 (cloth) 
<br/><br/><label>LCCN: </label>2004044058 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Telecommunication Engineering<br/>Telecommunication Engineering
<br/><br/><label>Dewey Class. No.: </label>621.395,TRU