Pouly, Marc. , <br/><br/>
Generic Inference :  a unifying theory for automated reasoning / 
Marc Pouly, Jurg Kohlas. 
 - xxxi, 452 pages ;  25 cm. 
<br/><br/>includes index and bibliographical reference 
<br/><br/><label>ISBN: </label>9780470527016 9781118010877 9781118010846 9781118010860 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Valuation theory.<br/>Algorithms.<br/>Algebra, Abstract.
<br/><br/><label>LC Class. No.: </label>QA162   / .P68 2011