European collaboration on automated reasoning
Alan Bundy · AI Communications · 2014
I provide a personal perspective of a European collaboration in the area of automated reasoning. I describe the birth and growth of this collaboration and give a snapshot of its current state. My involvement started with a two-way collaboration on in