Artifact Details Title Automated Theorem Proving Catalog Number 102719773 Type Document Date 1982 Author Bibel, Wolfgang Publisher Friedr. Vieweg & Sohn Identifying Numbers ISBN 3528085207 Category Book Collection Title Herbert Stoyan collection on LISP programming Series Title Books Credit Gift of Herbert Stoyan Lot Number X5687.2010