Conte aos seus amigos sobre este item:
Symbolic Logic and Mechanical Theorem Proving 1º edição
Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA)
Preço
Mex$ 1.926,02
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 26 de mai - 5 de jun
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Symbolic Logic and Mechanical Theorem Proving 1º edição
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 28 de maio de 1973 |
| ISBN13 | 9780121703509 |
| Editoras | Elsevier Science Publishing Co Inc |
| Páginas | 331 |
| Dimensões | 235 × 159 × 29 mm · 693 g |
| Idioma | English |