Tell your friends about this item:
Handbook of Practical Logic and Automated Reasoning
John Harrison
Price
€ 174.99
Ordered from remote warehouse
Expected delivery Dec 16 - 25
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Handbook of Practical Logic and Automated Reasoning
John Harrison
A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).
702 pages, 10 tables 155 exercises
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | April 13, 2009 |
| ISBN13 | 9780521899574 |
| Publishers | Cambridge University Press |
| Pages | 702 |
| Dimensions | 179 × 252 × 42 mm · 1.41 kg |
| Language | English |
Show all
More by John Harrison
Others have also bought
![Cover for Philippe Sarde · Ghost Story (CD) [Expanded edition] (2019)](https://imusic.b-cdn.net/images/item/original/771/8436560843771.jpg?philippe-sarde-2019-ghost-story-cd&class=scaled&v=1572712129)
![Cover for Abba · Vinyl Album Box Set (LP) [2022 Box Set edition] (2022)](https://imusic.b-cdn.net/images/item/original/476/0602445149476.jpg?abba-2022-vinyl-album-box-set-lp&class=scaled&v=1648773474)
![Cover for Donna Summer · Another Place And Time (CD) [Digipak] (2015)](https://imusic.b-cdn.net/images/item/original/320/5014797893320.jpg?donna-summer-2015-another-place-and-time-cd&class=scaled&v=1434484018)
![Cover for Bananarama · Deep Sea Skiving (LP/CD) [Coll edition] (2019)](https://imusic.b-cdn.net/images/item/original/230/5060555212230.jpg?bananarama-2019-deep-sea-skiving-lp-cd&class=scaled&v=1540654686)
![Cover for Alan Menken · The Little Mermaid - OST (LP) [Picture Disc edition] (2014)](https://imusic.b-cdn.net/images/item/original/133/0050087304133.jpg?alan-menken-2014-the-little-mermaid-ost-lp&class=scaled&v=1412940855)
![Cover for Barry Manilow · Tryin' to Get the Feeling (LP) [Numbered Red Vinyl edition] (2023)](https://imusic.b-cdn.net/images/item/original/135/8719262028135.jpg?barry-manilow-2023-tryin-to-get-the-feeling-lp&class=scaled&v=1726737705)
![Cover for Barry Manilow · This One's For You (LP) [Limited Orange & Black Marbled edition] (2023)](https://imusic.b-cdn.net/images/item/original/159/8719262028159.jpg?barry-manilow-2023-this-one-s-for-you-lp&class=scaled&v=1689843175)
![Cover for Dusty Springfield · Reputation: Expanded Deluxe CollectorS Edition (CD) [Expanded Deluxe Collector's edition] (2016)](https://imusic.b-cdn.net/images/item/original/824/5013929845824.jpg?dusty-springfield-2016-reputation-expanded-deluxe-collectors-edition-cd&class=scaled&v=1474529196)
![Cover for PWL Extended: Big Hits & Surprises Vol. 1 (LP) [VOLUME 1 edition] (2023)](https://imusic.b-cdn.net/images/item/original/292/4050538952292.jpg?2023-pwl-extended-big-hits-surprises-vol-1-lp&class=scaled&v=1695205323)
![Cover for Modern Talking · Maxi & Singles Collection (CD) [Dieter Bohlen edition] (2019)](https://imusic.b-cdn.net/images/item/original/529/0190759799529.jpg?modern-talking-2019-maxi-singles-collection-cd&class=scaled&v=1573321219)
![Cover for Blue System · Maxi & Singles Collection (CD) [Dieter Bohlen edition] (2019)](https://imusic.b-cdn.net/images/item/original/628/0190759799628.jpg?blue-system-2019-maxi-singles-collection-cd&class=scaled&v=1574929707)
![Cover for Halloween Ii (LP) [Coloured edition] (2021)](https://imusic.b-cdn.net/images/item/original/802/0728028496802.jpg?v-a-2021-halloween-ii-lp&class=scaled&v=1628779913)
![Cover for Arnold, David & Michael Price · Dracula (LP) [Coloured edition] (2020)](https://imusic.b-cdn.net/images/item/original/972/0738572161972.jpg?arnold-david-michael-price-2020-dracula-lp&class=scaled&v=1595860925)
See all of John Harrison ( e.g. Paperback Book , Hardcover Book , Book , LP and CD )