Automated Reasoning with Analytic Tableaux and Related Methods(English, Electronic book text, unknown)
- unknown
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart ₹ 3227SnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹11,727Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible 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 -
Automated Reasoning with Analytic Tableaux and Related Methods(English, Electronic book text, unknown) is written by unknown and published by Springer New York. It's available with International Standard Book Number or ISBN identification 3540452060 (ISBN 10) and 9783540452065 (ISBN 13).
