Automated Reasoning
Publisher: Springer; Brand: Springer
Published: Oct 17, 2012
Format: paperback
Number of pages: 380
ISBN-13: 9789401055420
Notes: Source title: Automated Reasoning (Automated Reasoning Series)