Conte aos seus amigos sobre este item:
Handbook of Practical Logic and Automated Reasoning John Harrison
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 12 de março de 2009 |
| ISBN13 | 9780521899574 |
| Editoras | Cambridge University Press |
| Páginas | 702 |
| Dimensões | 179 × 252 × 42 mm · 1,41 kg |
| Idioma | Inglês |