Pouly, Marc,  1980- , <br/><br/>
Generic Inference :  A Unifying Theory for Automated Reasoning / 
Marc Pouly, JuÌrg Kohlas. 
 - Hoboken, New Jersey :  Wiley,  [2011],  c2011. 
 - xxxi, 452 p. :  ill.  ;  25 cm. 
<br/><br/> Fakulti Agro-Industri dan Sumber Asli. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780470527016 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algebra, Abstract.<br/>Algorithms.<br/>Valuation theory.<br/>TECHNOLOGY & ENGINEERING / Electronics / General