- John K. Slaney, Ewing L. Lusk:
Parallelizing the Closure Computation in Automated Deduction. CADE 1990: 28-39 - Wayne Snyder:
Higher Order E-Unification. CADE 1990: 573-587 - Joachim Steinbach:
Improving Assoviative Path Orderings. CADE 1990: 411-425 - Mark E. Stickel:
A Prolog Technology Theorem Prover. CADE 1990: 673-674 - Geoff Sutcliffe
:
A General Clause Theorem Prover. CADE 1990: 675-676 - Christian B. Suttner, Wolfgang Ertel:
Automatic Acquisition of Search Guiding Heuristics. CADE 1990: 470-484 - Mark Tarver:
An Examination of the Prolog Technology Theorem-Prover. CADE 1990: 322-335 - Thierry Boy de la Tour:
Minimizing the Number of Clauses by Renaming. CADE 1990: 558-572 - Heikki Tuominen:
Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic. CADE 1990: 514-527 - Andrei Voronkov:
LISS - The Logic Inference Search System. CADE 1990: 677-678 - Toshiro Wakayama, T. H. Payne:
Case-Free Programs: An Abstraction of Definite Horn Programs. CADE 1990: 87-101 - Richard J. Waldinger:
Tutorial on Program-Synthetic Deduction. CADE 1990: 684 - David A. Wolfram
:
ACE: The Abstract Clause Engine. CADE 1990: 679-680 - Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler:
Automated Reasoning Contributed to Mathematics and Logic. CADE 1990: 485-499 - Mark E. Stickel:
10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings. Lecture Notes in Computer Science 449, Springer 1990, ISBN 3-540-52885-7 [contents]