Automated Deduction - A Basis for Applications
Publisher: Springer
Published: Dec 08, 2010
Format: paperback
Number of pages: 504
ISBN-13: 9789048150502
Notes: Source title: Automated Deduction - A Basis for Applications (Applied Logic Series)