Recomienda este artículo a tus amigos:
Symbolic Logic and Mechanical Theorem Proving Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) 1.º edición
Precio
$ 92,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 19 de jun. - 8 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Symbolic Logic and Mechanical Theorem Proving
Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA)
Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This book covers an introduction to symbolic logic and introduces techniques in mechanical theorem proving. It shows how theorem proving can be applied to various areas such as question answering, problem solving, and others.
331 pages
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 28 de mayo de 1973 |
| ISBN13 | 9780121703509 |
| Editores | Elsevier Science Publishing Co Inc |
| Páginas | 331 |
| Dimensiones | 235 × 159 × 29 mm · 693 g |
| Lengua | Inglés |
