Generic inference [electronic resource] : a unifying theory for automated reasoning / Marc Pouly, J(uml)urg Kohlas.
c2011Description: 1 online resource (1 v.) : illISBN:- 9781118010860
- 1118010868
- Unifying theory for automated reasoning

No physical items for this record
Description based on print version record.
Includes bibliographical references and index.