Generic Inference: A Unifying Theory for Automated Reasoning: A Unifying Theory for Automated Inference
by Marc Pouly,Juerg Kohlas
ISBN 13: 9780470527016
Format: Hardcover (484 pages) Publisher: Wiley-Blackwell Published: 10 May 2011
Save for later