Generic Inference: A Unifying Theory for Automated Reasoning

Automated

by: Marc Pouly · Juerg Kohlas

Hardcover

ISBN: 978-0-470-52701-6

ISBN-10: 0-470-52701-3

Wiley · 2011