The Arrival of Automated Reasoning

by
Larry Wos Mathematics and Computer Science Division Argonne National Laboratory USA	Matthew Spinks Department of Philosophy La Trobe University Australia