Fortell venner om denne varen:
Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning
Larry Wos
Pris
₺ 6.687
Bestillingsvarer
Forventes levert 17. - 28. okt
Legg til iMusic ønskeliste
eller
Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning
Larry Wos
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 2. desember 1999 |
| ISBN13 | 9789810239107 |
| Utgivere | World Scientific Publishing Co Pte Ltd |
| Antall sider | 608 |
| Mål | 224 × 166 × 40 mm · 993 g |
Se alt med Larry Wos ( f.eks. Innbunden bok )