HTML Files

• Logic is Fundamental Tool: Andrews

• Expert Systems: Andrews

• Long-term Perspective: Andrews

• HOL for Verification: Andrews

• Type Theory: Andrews

• Combining Automatic and I/A Proc.: Andrews

• System Verification: Boyer

• Correctness Proof for Floating-point Divide: Boyer

• Math Induction: Bundy

• Geometry reasoning: Chou and Gao

• Verifying the SRT Division Algorithm: Clarke, German, and Zhao

• Useful QED Projects: Dahn

• Formal Verification: Dill

• AD Status Regarding Applictions: Kaufmann

• My View of Automated Reasoning: Kunen

• A Pessimistic View: Lusk

• Basic Science: McAllester

• NSF Award Data by Location: McCune

• Cooperative Projects: McCune

• Omega Project: Melis

• The Issue of NSF Support: Overbeek

• Several Comments: Plaisted

• Hot Java Prover: Posegga and Aagaard

• Position Paper: Wos

Compressed Postscript Files

• Distributed Automated Deduction: Bonacina

• Strategy Analysis for TP: Bonacina

• The Value of Automated Deduction: Constable

• Math Education: Farmer

• Automated Model Building: Fermuller et al.

• Reasoning about Specifications: Gunter

• Rigorous Design: Johnson

• AI Planning: Lin

• Social Sciences: Masuch et al.

• Inductive Logic Programming: Page

• Logical Frameworks: Plotkin et al.

• Knowledge-using Provers: Shults

• The Idea of QED

• View from Deduktion Project: Schmitt

• Software Engineering: Schumann

• The Case for Automated Deduciton: Shankar

• Software Development: Waldinger