Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning - Larry Wos - Kirjat - World Scientific Publishing Co Pte Ltd - 9789810239107 - torstai 2. joulukuuta 1999
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning

Larry Wos

Hinta
€ 151,99

Tilattu etävarastosta

Arvioitu toimitus to 25. syys - ma 6. loka

Asiakkaamme sanovat:

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

Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning

This text demonstrates - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program.

608 pages, illustrations

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 2. joulukuuta 1999
ISBN13 9789810239107
Tuottaja World Scientific Publishing Co Pte Ltd
Sivujen määrä 608
Mitta 224 × 166 × 40 mm   ·   993 g

Katso kaikki joka sisältää Larry Wos ( Esim. Hardcover Book )