SCOTT: Semantically constrained otter system description

  • John Slaney
  • Ewing Lusk
  • William McCune
Conference paper

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 814)
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

Personalised recommendations