Accounts of Jack Cade's 1450 Rebellion-an uprising of some 30,000 middle-class citizens, protesting Henry VI's policies, and resulting in hundreds of deaths as

This book constitutes the refereed proceedings of the 16th International Conference on Automated Deduction, CADE-16, held in Trento, Italy in July 1999 as part

Skylar Mackenzie has never had an easy life, but she was never one to be detoured. With a full scholarship, she enters college with the hope of making her journ

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick,

For fans of Blade Runner, Robocop, and I, Robot. In mid-21st century America – over-populated cities harbor ordinary citizens who are oppressed by money manip