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
Mex$ 1.711
sin IVA
Pedido desde almacén remoto
Entrega prevista 3 - 19 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA)
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 | 19 de noviembre de 1997 |
| Fecha de lanzamiento original | 1973 |
| ISBN13 | 9780121703509 |
| Editores | Elsevier Science Publishing Co Inc |
| Páginas | 331 |
| Dimensiones | 235 × 159 × 29 mm · 693 g |
| Lengua | Inglés |
