Generic Inference: A Unifying Theory for Automated Reasoning

Generic Inference:A Unifying Theory for Automated Reasoning

by: Pouly, Marc; Kohlas, Juerg

Publisher: Wiley(2012/1/10)

Edition: 1

Language: English

ISBN-13: 9780470527016

e-ISBN-13: 9781118010860