Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume

Addressing a field that has been dominated by astronomers, physicists, engineers, and computer scientists, the contributors to this collection raise questions t

After a long time of neglect, Artificial Intelligence is once again at the center of most of our political, economic, and socio-cultural debates. Recent advance

The big stories -- The skills of the new machines : technology races ahead -- Moore's law and the second half of the chessboard -- The digitization of just abou

This fascinating book is the first volume in a projected cultural history of the United States, from the earliest English settlements to our own time. It is a h