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

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

Larry Wos

Price
£ 121.49
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 27 - Sep 9

Our customers say:

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

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

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