This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated R
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemor
These provocative essays take a modern look at the 17th-century thinker's dream, examining the influences of mathematics on society, particularly in light of te
This book offers an archeology of the undeveloped potential of mathematics for critical theory. As Max Horkheimer and Theodor W. Adorno first conceived of the c
