Pastāsti draugiem par šo preci:
Symbolic Logic and Mechanical Theorem Proving Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) 1. izdevums
Cena
€ 92,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 6. - 20. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1973. gada 28. maijs |
| ISBN13 | 9780121703509 |
| Izdevēji | Elsevier Science Publishing Co Inc |
| Lapas | 331 |
| Izmēri | 235 × 159 × 29 mm · 693 g |
| Valoda | Angļu |
