Automated reasoning and its applications: essays in honor of Larry Wos
Robert Veroff, Gail W. Pieper · Medical Entomology and Zoology · 1997
Wos and automated deduction at ANL - the ethos, Ross Overbeek and Ewing Lusk a completeness result for linked resolution, Kenneth Kunen generic automatic proof tools, Lawrence C. Paulson automated generation of construction steps for geometric constraint problems, Shang-Ching Chou, Xiao-Shan Gao and Jing-Zhong Zhang 33 basic test problems - a practical evaluation of some paramodulation strategies, William McCune specifying Latin square problems in propositional logic, Hantao Zhang mechanized formal reasoning about programs and computing machines, Robert S. Boyer and J. Strother Moore constructors can be partial too, Deepak Kapur metalevel reasoning for controlling automated reasoning programs, Lawrence Henschen.