Generic Inference : a unifying theory for automated reasoning - Pouly, Marc.; Kohlas, Jurg. (Hoboken, NJ : Wiley, 2011)
includes index and bibliographical reference
1 4
Keywords: Valuation theory; Algorithms; Algebra, Abstract