Recomienda este artículo a tus amigos:
Handbook of Automated Reasoning Andrei Voronkov
Precio
$ 324,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 17 de jun. - 6 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Handbook of Automated Reasoning
Andrei Voronkov
This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
1188 pages, indexes
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 21 de junio de 2001 |
| ISBN13 | 9780444508126 |
| Editores | Elsevier Science & Technology |
| Páginas | 1188 |
| Dimensiones | 165 × 240 × 60 mm · 2,07 kg |
| Editor | Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA) |
| Editor | Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.) |
