France

Product DescriptionThis book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted...

Product Description Proceedings of the Joint Intl Conference, AISC 2002 and Calculemus 2002, held July 1-5, 2002 in Marseille, France. Softcover.... More >> Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International...

Product DescriptionThis book examines some crucial aspects of surveillance processes with a view to showing what constitutes them, why the growth of surveillance is accelerating and what is really at stake personally and politically. It scrutinizes...