Advertisement

ITP at argonne national laboratory

  • Ewing Lusk
  • William McCune
  • Ross Overbeek
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)

References

  1. 1.
    Charles H. Applebaum, Logic Machine Architecture Database Support System: Layer 1 User's Manual, The MITRE Corporation, Bedford, MA (November, 1985).Google Scholar
  2. 2.
    Ralph Butler, Ewing Lusk, William McCune, and Ross Overbeek, “Paths to High Performance Automated Theorem Proving,” CADE-8 (July, 1986).Google Scholar
  3. 3.
    E. Lusk, William McCune, and R. Overbeek, “Logic machine architecture: kernel functions,” pp. 70–84 in Proceedings of the Sixth Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 138, ed. D. W. Loveland, Springer-Verlag, New York (1982).Google Scholar
  4. 4.
    E. Lusk, William McCune, and R. Overbeek, “Logic machine architecture: inference mechanisms,” pp. 85–108 in Proceedings of the Sixth Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 138, ed. D. W. Loveland, Springer-Verlag, New York (1982).Google Scholar
  5. 5.
    Ewing L. Lusk and Ross A. Overbeek, “A Portable Environment for Research in Automated Reasoning.” pp. 43–52 in Proceedings of the 7th International Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 170, ed. R. E. Shostak, Springer-Verlag, New York (1984).Google Scholar
  6. 6.
    Ewing L. Lusk and Ross A. Overbeek, “Logic Machine Architecture inference mechanisms — layer 2 user reference manual-Release 2.0,” ANL-82-84, Argonne National Laboratory (April, 1984).Google Scholar
  7. 7.
    Ewing L. Lusk and Ross A. Overbeek, “The automated reasoning system ITP,” ANL-84-27, Argonne National Laboratory (April, 1984).Google Scholar
  8. 8.
    R. Overbeek, “An implementation of hyper-resolution,” Computers and Mathematics with Applications 1, pp. 201–214 (1975).CrossRefGoogle Scholar
  9. 9.
    L. Wos, S. Winker, and E. Lusk, “An automated reasoning system,” Proceedings of the AFIPS National Computer Conference, pp. 697–702 (1981).Google Scholar
  10. 10.
    L. Wos, R. Veroff, B. Smith, and W. McCune, “The Linked Inference Principle, II: The User's Viewpoint,” in Proceedings of the 7th International Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 170, ed. R. E. Shostak, Springer-Verlag, New YorkGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Ewing Lusk
    • 1
  • William McCune
    • 1
  • Ross Overbeek
    • 1
  1. 1.Mathematics and Computer Science DivisionArgonne National LaboratoryArgonneUSA

Personalised recommendations