Fortæl dine venner om denne vare:
Symbolic Logic and Mechanical Theorem Proving 1. udgave
Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA)
Pris
DKK 764
Bestilles fra fjernlager
Forventes klar til forsendelse 22. - 30. maj.
Tilføj til din iMusic ønskeseddel
Symbolic Logic and Mechanical Theorem Proving 1. udgave
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 19. november 1997 |
| Oprindeligt udgivet | 1973 |
| ISBN13 | 9780121703509 |
| Forlag | Elsevier Science Publishing Co Inc |
| Antal sider | 331 |
| Mål | 235 × 159 × 29 mm · 693 g |
| Sprog | Engelsk |