Handbook of Automated Reasoning
- Alan J.A. Robinson
- Andrei Voronkov
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹6,923Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Handbook of Automated Reasoning is written by Alan J.A. Robinson and published by Gulf Professional Publishing. It's available with International Standard Book Number or ISBN identification 0444829490 (ISBN 10) and 9780444829498 (ISBN 13).
Handbook of Automated Reasoning.
