Symbolic Logic and Mechanical Theorem Proving - Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) - Kirjat - Elsevier Science Publishing Co Inc - 9780121703509 - maanantai 28. toukokuuta 1973
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Symbolic Logic and Mechanical Theorem Proving 1. Painos

Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA)

Hinta
Mex$ 2.000,90

Tilattu etävarastosta

Arvioitu toimitus pe 23. touko - ke 4. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Symbolic Logic and Mechanical Theorem Proving 1. Painos

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

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 28. toukokuuta 1973
ISBN13 9780121703509
Tuottaja Elsevier Science Publishing Co Inc
Sivujen määrä 331
Mitta 235 × 159 × 29 mm   ·   693 g
Kieli English  

Katso kaikki joka sisältää Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) ( Esim. Hardcover Book )