Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer...

Building Engaged...

If robots are to act intelligently in everyday environments, they must have a perception of motion and its consequences. This book describes experimental advances made in the interpretation of visual motion over the last few years that have moved researchers closer to emulating the way in which we recover information about the surrounding...

What is the origin of the Romance languages and how did they evolve? When and how did they become different from Latin, and from each other? Volume 2 of The Cambridge History of the Romance Languages offers fresh and original reflections on the principal questions and issues in the comparative external histories of the Romance languages. It...

Coverage is divided into three volumes, entitled Process Fundamentals, encompassing process fundamentals, extractive and refining processes, and metallurgical process...

Coverage is divided into three volumes, entitled Process Fundamentals, encompassing process fundamentals, extractive and refining processes, and metallurgical process...

Syntax - the study of sentence structure - has been at the centre of generative linguistics from its inception and has developed rapidly and in various directions. The Cambridge Handbook of Generative Syntax provides a historical context for what is happening in the field of generative syntax today, a survey of the various generative...

An exhaustive...

The Cambridge Companion to the Roman Economy offers readers a comprehensive and innovative introduction to the economy of the Roman Empire. Focusing on the principal determinants, features, and consequences of Roman economic development and integrating additional web-based materials, it is designed as an up-to-date survey that is accessible...

Understand the theory, design and applications of the two principal candidates for the next mainstream semiconductor-industry device with this concise and clear guide to FD/UTB transistors. • Describes FD/SOI MOSFETs and 3-D FinFETs in detail • Covers short-channel effects, quantum-mechanical effects, applications of UTB devices to...