We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£40.67
Springer The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
Price data last checked 50 day(s) ago - refreshing...
Price History & Forecast
Last 41 days • 41 data points (No recent data available)
Price Distribution
Price distribution over 41 days • 2 price levels
Current Price
Price Analysis
Most common price: £41 (26 days, 63.4%)
Price range: £41 - £41
Price levels: 2 different prices over 41 days
Description
This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The book deals with the traditional topics in new ways and gives a systematic treatment of recent research topics. It should become a standard reference.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3642644732
- Domain
- Amazon UK
- Release Date
- 28 September 2011
- Listed Since
- 13 July 2012
Barcode
No barcode data available