Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning - Larry Wos - Bøger - World Scientific Publishing Co Pte Ltd - 9789810239107 - 2. december 1999
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Larry Wos

Pris
DKK 1.280

Bestilles fra fjernlager

Forventes klar til forsendelse 15. - 22. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 2. december 1999
ISBN13 9789810239107
Forlag World Scientific Publishing Co Pte Ltd
Antal sider 608
Mål 224 × 166 × 40 mm   ·   993 g

Se alt med Larry Wos ( f.eks. Hardcover bog )