Gore,R(ed) Automated reasoning / Gore,R(ed). - 1st international jo - Berlin: Springer, 2001. - xv,707p;23cm Includes bibliographical references. ISBN: 3540422544 Dewey Class. No.: 006.3 GAL