Vertel uw vrienden over dit artikel:
Handbook of Practical Logic and Automated Reasoning John Harrison
Prijs
€ 164,49
Besteld in een afgelegen magazijn
Verwachte levering 30 jan. - 10 feb.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
of
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 12 maart 2009 |
| ISBN13 | 9780521899574 |
| Uitgevers | Cambridge University Press |
| Pagina's | 702 |
| Afmetingen | 179 × 252 × 42 mm · 1,41 kg |
| Taal en grammatica | Engels |
Meer door John Harrison
Alles tonen
Anderen hebben ook gekocht
![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 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 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 Play Misty For Me - Music From The Films Of Clint Eastwood (Blue Vinyl) (LP) [Coloured edition] (2025)](https://imusic.b-cdn.net/images/item/original/970/8436569195970.jpg?v-a-2025-play-misty-for-me-music-from-the-films-of-clint-eastwood-blue-vinyl-lp&class=scaled&v=1741157911)
![Cover for Kylie Minogue · Step Back In Time: The Definitive Collection (CD) [Limited Deluxe edition] (2019)](https://imusic.b-cdn.net/images/item/original/182/4050538484182.jpg?kylie-minogue-2019-step-back-in-time-the-definitive-collection-cd&class=scaled&v=1556870466)
![Cover for Daft Punk · Tron Legacy (LP) [Blue & Clear Vinyl edition] (2021)](https://imusic.b-cdn.net/images/item/original/003/0050087487003.jpg?daft-punk-2021-tron-legacy-lp&class=scaled&v=1742556326)
![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 Compilation · Eurovision Song Contest Turin 2022 (Cassette) [Limited edition] (2022)](https://imusic.b-cdn.net/images/item/original/226/0602445599226.jpg?compilation-2022-eurovision-song-contest-turin-2022-cassette&class=scaled&v=1647551053)
![Cover for Madonna · Finally Enough Love (50 Number Ones) (CD) [Deluxe edition] (2022)](https://imusic.b-cdn.net/images/item/original/773/0603497839773.jpg?madonna-2022-finally-enough-love-50-number-ones-cd&class=scaled&v=1651736713)
![Cover for Ennio Morricone · Exorcist Ii: The Heretic (LP) [Coloured edition] (2022)](https://imusic.b-cdn.net/images/item/original/055/0843563137055.jpg?ennio-morricone-2022-exorcist-ii-the-heretic-lp&class=scaled&v=1669662166)
![Cover for Thomas Newman · Skyfall (LP) [Red Translucent edition] (2025)](https://imusic.b-cdn.net/images/item/original/137/8719262037137.jpg?thomas-newman-2025-skyfall-lp&class=scaled&v=1743170151)
Bekijk alles van John Harrison ( bijv. Paperback Book , Hardcover Book , Book , LP en Blu-ray )