This book shows you - 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. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that 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 readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.

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 published under the title Asymptotic Analysis and the Numerical Solu.tion of Partial Differ ential Equations, Hans G. Kaper and Marc Garbey, eds., Lecture Notes in Pure and Applied Mathematics. Vol. 130, .Marcel Dekker, Inc., New York, 1991.) In a sense, the present proceedings represent a progress report on the topic area. Comparing the two sets of proceedings, we see an increase in the quantity as well as the quality of the contributions. 110re research is being done in the topic area, and the interest covers serious, nontrivial problems. We are pleased with this outcome and expect to see even more advances in the next few years as the field progresses."

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, fine arts, history, religious studies, communication, and media studies. Through their expansive disciplinary expertise, the contributors bring unique insights to the analysis of the advertising page. The collection's cross-disciplinary investigation also examines gender images and narratives which, in the advertising page, are frequently associated with utopian fantasies. The analyses offered in Utopian Images and Narratives in Advertising will appeal to any scholar or student engaged in mass media, communication, and the effect of advertising and consumerism on individuals and cultures.

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, fine arts, history, religious studies, communication, and media studies. Through their expansive disciplinary expertise, the contributors bring unique insights to the analysis of the advertising page. The collection s cross-disciplinary investigation also examines gender images and narratives which, in the advertising page, are frequently associated with utopian fantasies. The analyses offered in Utopian Images and Narratives in Advertising will appeal to any scholar or student engaged in mass media, communication, and the effect of advertising and consumerism on individuals and cultures."

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 published under the title Asymptotic Analysis and the Numerical Solu.tion of Partial Differ ential Equations, Hans G. Kaper and Marc Garbey, eds., Lecture Notes in Pure and Applied Mathematics. Vol. 130, .Marcel Dekker, Inc., New York, 1991.) In a sense, the present proceedings represent a progress report on the topic area. Comparing the two sets of proceedings, we see an increase in the quantity as well as the quality of the contributions. 110re research is being done in the topic area, and the interest covers serious, nontrivial problems. We are pleased with this outcome and expect to see even more advances in the next few years as the field progresses."