Newsletter   Secure Checkout   Shopping Cart (0 Items)  
Search:    Welcome Guest! Save up to 30-40% on most items with our awesome everyday discounts!

A Fascinating Country in the World of Computing [Hardcover]

Our Price $ 102.20  
Retail Value $ 146.00  
You Save $ 43.80  (30%)  
Item Number 167852  
Buy New $102.20
Out Of Stock!
Currently Out Of Stock
Currently unavailable...

Item description for A Fascinating Country in the World of Computing by Larry Wos & Gail W. Pieper...

Discusses some of the successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Provides many exercises introducing readers to the field of logic and automated reasoning in general. CD-ROM included.

Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at!

Item Specifications...

Studio: World Scientific Publishing Company
Pages   587
Est. Packaging Dimensions:   Length: 1.5" Width: 6.5" Height: 9"
Weight:   2.2 lbs.
Binding  Hardcover
Release Date   Mar 15, 2000
Publisher   World Scientific Publishing Company
ISBN  9810239106  
ISBN13  9789810239107  

Availability  0 units.

More About Larry Wos & Gail W. Pieper

Register your artisan biography and upload your photo! Are You The Artisan or Author behind this product?
Improve our customers experience by registering for an Artisan Biography Center Homepage.

Product Categories

1Books > Subjects > Computers & Internet > Computer Science > Artificial Intelligence > Computer Mathematics
2Books > Subjects > Computers & Internet > Computer Science > Artificial Intelligence > Expert Systems
3Books > Subjects > Computers & Internet > Computer Science > Artificial Intelligence > General
4Books > Subjects > Computers & Internet > General
5Books > Subjects > Professional & Technical > Professional Science > Mathematics > Applied > General
6Books > Subjects > Science > General
7Books > Subjects > Science > Mathematics > Applied > General
8Books > Subjects > Science > Mathematics > Applied
9Books > Subjects > Science > Mathematics > General

Reviews - What do customers think about A Fascinating Country in the World of Computing?

unconventional, but effective  Apr 26, 2001
When reading one of Larry Wos' books one is often surprised to find a complete lack of rigor when discussing a topic such as automated reasoning that is usually made extremely rigorous by the computer scientists, logicians, and mathematicians who have developed the subject over the past 50 years. At first my reaction to this was one of disappointment and disbelief (i.e. where's the beef?); but then I quickly began to realize that this book may end up being one of the most influential I've ever read, for the simple reason that it is written by a man who clearly loves the subject and has both inspired me and made it quite convenient (by including the source code for Otter and emphasizing the language Otter understands throughout the book) for me to begin my journey through the fascinating country. Indeed, unlike most academic authors who fear their reputation will suffer if they write on anything that does not require scores of new symbols, Larry seems to be saying that it is not about the book and its ideas, but more about Otter and an invitation to explore a vast new world that experimenting with Otter represents. To accomplish this, the only new symbolism you will see in this book is that needed to create an input file for Otter to process. Thus, Larry's approach is quite hands-on/empirical rather than theoretical. With that said, I think this book is ideal for anyone who has formally studied automated reasoning and is ready to experiement with an automated-reasoning program, such as Otter, whose code is supplied on the CD Rom accompanying the book. I myself had spent the latter half of 2000 pouring through Jean Gallier's "Logic For Computer Science: An Introduction to Automated Theorem Proving", and it was from reading this that I became interested in the field. Had I not read that text, I do not think I would have been prepared to fully understand what Larry was trying to convey, especially in Chapter 3: Automated Reasoning in Full. Thus if you have little or no experience with logic and automated deduction systems, I suggest supplementing this text with either Nissanke's logic text, Ben Ari's, or any introductory book that explains resolution and unification in full (Gallier's book I consider an academic masterpiece, but it is also a graduate text and hence contains *much* more than you really need). Personally, I believe that anyone who makes significant contributions to this field in the future will do so using a combination of theory and experimentation. Moreover, if you are thinking of playing with Otter out of curiosity of how it will solve your favorite puzzle, you will not appreciate the solution (proof) nearly as much if you had some formal exposure to logic behind you. Best wishes, and happy experimenting!

Write your own review about A Fascinating Country in the World of Computing

Ask A Question or Provide Feedback regarding A Fascinating Country in the World of Computing

Item Feedback and Product Questions
For immediate assistance call 888.395.0572 during the hours of 10am thru 8pm EST Monday thru Friday and a customer care representative will be happy to help you!

Help us continuously improve our service by reporting your feedback or questions below:

I have a question regarding this product
The information above is incorrect or conflicting
The page has misspellings or incorrect grammar
The page did not load correctly in my browser or created an error.

Email Address:
Anti Spam Question. To combat spammers we require that you answer a simple question.
What color is the sky?
Leave This Blank :
Do Not Change This Text :

Add This Product Widget To Your Website

Looking to add this information to your own website? Then use our Product Widget to allow you to display product information in a frame that is 120 pixels wide by 240 pixels high.

    Copy and paste the following HTML into your website and enjoy!

Order toll-free weekdays 10am thru 10pm EST by phone: 1-888-395-0572 (Lines are closed on holidays & weekends.)
Customer Service | My Account | Track My Orders | Return Policy | Request Free Catalog | Email Newsletter

Gift Certificates
RSS Feeds
About Us
Contact Us
Terms Of Use
Privacy Policy