A Fascinating Country in the World of Computing

A Fascinating Country in the World of Computing

Editorial Reviews
Book Info
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.

A Fascinating Country in the World of Computing,Larry Wos,Gail W. Pieper,World Scientific Publishing Company,9810239106,Applied,Applied Mathematics,Artificial Intelligence - General,Computers - General Information,General,Mathematics,Science/Mathematics

Books Info:

Algebraic Varieties (London Mathematical Society Lecture Note Series)
Almost Completely Decomposable Groups (Algebra, Logic and Applications)
Analysis, Control and Optimization of Complex Dynamic Systems (Gerad 25th Anniversary)
Analysis of Time Series Structure: SSA and Related Techniques
Analyzing and Modeling Rank Data
Applied Partial Differential Equations: An Introduction
Applied Smoothing Techniques for Data Analysis : The Kernel Approach with S-Plus Illustrations (Oxford Statistical Science Series)
Asymptotic Theory of Separated Flows
Atmospheric Modeling
Biomathematical Problems in Optimization of Cancer Radiotherapy

Books Info

Recommended Books

Lady Hawarden : Studies from Life, 1857-1864
The Parallel Worlds of Classical Art and Text
The Penguin Dictionary of Jokes, Wisecracks, Quips and Quotes
How Industries Evolve: Principles for Achieving and Sustaining Superior Performance
It'S A Girl Thing
The future world of agriculture
The Art of Writing Reasonable Organic Reaction Mechanisms
Structronic Systems: Smart Structures, Devices and Systems
Transmutations
The Messenger Boy Murders
The Tevis Cup: To Finish Is To Win
The Simple Art of Napkin Folding: 94 Fancy Folds for Every Tabletop Occasion
Things I Wish I'd Known Before I Started Sailing
The State of Civil Society in Japan
The Lichen Symbiosis