Fortæl dine venner om denne vare:
Handbook of Practical Logic and Automated Reasoning
John Harrison
Pris
DKK 1.445
Bestilles fra fjernlager
Forventes klar til forsendelse 15. - 23. jul.
Tilføj til din iMusic ønskeseddel
Eller
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 13. april 2009 |
| ISBN13 | 9780521899574 |
| Forlag | Cambridge University Press |
| Antal sider | 702 |
| Mål | 179 × 252 × 42 mm · 1,41 kg |
| Sprog | Engelsk |
Vis alle
Mere med John Harrison
Andre har også købt
![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 Maria Callas · La Divina Maria Callas (LP) [Red Vinyl edition] (2023)](https://imusic.b-cdn.net/images/item/original/101/5054197685101.jpg?maria-callas-2023-la-divina-maria-callas-lp&class=scaled&v=1688035772)
![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 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 Barry Manilow · Barry Manilow (Coloured Vinyl) (LP) [Limited 50th Anniversary edition] (2023)](https://imusic.b-cdn.net/images/item/original/128/8719262028128.jpg?barry-manilow-2023-barry-manilow-coloured-vinyl-lp&class=scaled&v=1682618353)
![Cover for Roxette · Joyride (30th Anniversary) (CD) [30th Anniversary Expanded edition] (2021)](https://imusic.b-cdn.net/images/item/original/153/5054197107153.jpg?roxette-2021-joyride-30th-anniversary-cd&class=scaled&v=1633620316)
![Cover for Melanie C · Northern Star (LP) [RSD 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/683/0602438893683.jpg?melanie-c-2022-northern-star-lp&class=scaled&v=1646207296)
![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 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 Mel & Kim · The Singles Box Set (CD) [Deluxe edition] (2019)](https://imusic.b-cdn.net/images/item/original/005/5013929440005.jpg?mel-kim-2019-the-singles-box-set-cd&class=scaled&v=1562500458)
![Cover for Barry Manilow · Tryin' To Get The Feeling (LP) [Limited Numbered 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=1682618353)
Se alt med John Harrison ( f.eks. Paperback Bog , Hardcover bog , Bog , LP og CD )