Wyniki wyszukiwania:

This book shows how computers can be programmed to reason. It introduces the field of automated reasoning through examples and puzzles. The automation of reasoning has advanced markedly in the past few decades, and this book therefore discusses some of the remarkable successes which automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce...

Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume book includes all the published papers of Dr Larry Wos, one of the world's pioneers in automated reasoning. It provides a wealth of information for students, teachers, researchers, and even historians of computer science about this rapidly growing field.

The book has the following special features:

(1) It presents the strategies introduced by Wos which have made automated reasoning a practical tool for solving challenging puzzles...

The study of advertising and its treatment of utopian appeal enhance our understanding of consumer culture. By looking into the advertising page, we also look into consumers' desires and the process by which these desires are reshaped and rechanneled through images and narratives created solely for the purpose of making a sale. Utopian Images and Narratives in Advertising: Dreams for Sale, edited by Luigi Manca, Alessandra Manca, and Gail W. Pieper, is a collection of essays which gather a host of academicians from a wide variety of disciplines including sociology, psychology, literature,...

This volume contains the proceedings of the NATO Advanced Research Workshop on "Asymptotic-induced Numerical Methods for Partial Differ- ential Equations, Critical Parameters, and Domain Decomposition," held at Beaune (France), May 25-28, 1992. The purpose of the workshop was to stimulate the integration of asymp- totic analysis, domain decomposition methods, and symbolic manipulation tools for the numerical solution of partial differential equations (PDEs) with critical parameters. A workshop on the same topic was held at Argonne Na- tional Laboratory in February 1990. (The proceedings were...