SCOTT: Semantically constrained otter system description

  • John Slaney
  • Ewing Lusk
  • William McCune
Conference paper

DOI: 10.1007/3-540-58156-1_56

Volume 814 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Slaney J., Lusk E., McCune W. (1994) SCOTT: Semantically constrained otter system description. In: Bundy A. (eds) Automated Deduction — CADE-12. CADE 1994. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence (LNAI)), vol 814. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • John Slaney
    • 1
  • Ewing Lusk
    • 2
  • William McCune
    • 2
  1. 1.Australian National UniversityCanberraAustralia
  2. 2.Argonne National LaboratoryArgonneUSA