Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning - Larry Wos - Books - World Scientific Publishing Co Pte Ltd - 9789810239107 - December 12, 1999
In case cover and title do not match, the title is correct

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

Price
$ 152.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Hardcover Book   (Book with hard spine and cover)
Released December 12, 1999
ISBN13 9789810239107
Publishers World Scientific Publishing Co Pte Ltd
Pages 608
Dimensions 224 × 166 × 40 mm   ·   993 g

Mere med samme udgiver

See all of Larry Wos ( e.g. Hardcover Book )