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
未经允许不得转载：Wow! eBook » Generic Inference:A Unifying Theory for Automated Reasoning