14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings International Conference on Automated Deduction 1997 : Townsville, Qld.) creator McCune, William ed. text conference publication gw Berlin Springer 1997 monographic eng 462 p. William McCune, ed. Automatic theorem proving Congresses Logic, Symbolic and mathematical Congresses QA76.9 A96 I57 1997 Lecture notes in artificial intelligence 3540631046 080624 20260817170904.0