"Harold Abelson is Professor of Computer Science at the Massachusetts Institute of Technology. He directed the first implementation of Logo for the Apple II, which made Logo widely available on personal computers beginning in 1981. Amanda Abelson, a high-school student, runs a nationwide Internet based multiuser simulation game.""Logo for the Macintosh teaches the art of programming to first ti…
Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Kurt Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonism and the na…
"Today's computers must perform with increasing reliability, which in turn depends on the problem of determining whether a circuit has been manufactured properly or behaves correctly. However, the greater circuit density of VLSI circuits and systems has made testing more difficult and costly. This book notes that one solution is to develop faster and more efficient algorithms to generate test p…
"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped ac…
Papers presented during the workshop held in Lisbon in June 1993."This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is…
The authors of this ambitious book address a fundamental political question: why are leaders who produce peace and prosperity turned out of office while those who preside over corruption, war, and misery endure? Considering this political puzzle, they also answer the related economic question of why some countries experience successful economic development and others do not. The authors constru…
A group of prominent international economists consider what makes for successful convergence--what policies and economic conditions help poor countries catch up to the living standards of rich countries.The question of convergence, or under what conditions the per capita income levels of developing countries can catch up to those found in advanced economies, is critical for understanding econom…
"The Limits of Culture explores the effect of culture on foreign policy, focusing on countries in the geopolitically important Caspian region and paying particular attention to those states that have identified themselves as Islamic republics: Iran, Taliban Afghanistan, and Pakistan."--Jacket.OCLC-licensed vendor bibliographic record.
"A Bradford book."An original approach to memory development that views memory as a continuous process of growth and loss over the human lifespan rather than as a series of separate periods. Until recently, the vast majority of memory research used only university students and other young adults as subjects. Although such research successfully introduced new methodologies and theoretical concep…
The second of eight books of the correspondence of George Santayana.Since the first selection of George Santayana's letters was published in 1955, shortly after his death, many more letters have been located. The Works of George Santayana, Volume V, brings together a total of more than 3,000 letters. The volume is divided chronologically into eight books of roughly comparable length. Book Two c…