Generic Inference: A Unifying Theory for Automated Reasoning
Authors: Pouly, Marc; Kohlas, Juerg
Get this book Contact Email: girro@qq.com
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