Journal of Automated Reasoning

, Volume 18, Issue 1, pp 135–135 | Cite as

An Erratum for Some Errata to ATP Problems

  • FRANCIS JEFFRY PELLETIER
  • GEOFF SUTCLIFFE
Article
  • 35 Downloads

References

  1. 1.
    Pelletier, F. J.: Seventy-five problems for testing automatic theorem provers, Journal of Auto-mated Reasoning 2(1986), 191–216.Google Scholar
  2. 2.
    Pelletier, F. J.: Errata, Journal of Automated Reasoning 4(1988), 235–236.Google Scholar
  3. 3.
    Pelletier, F. J. and Sutcliffe, G.: An erratum for some errata to automated theorem proving problems, Association for Automated Reasoning Newsletter 31(1995), 8–14.Google Scholar
  4. 4.
    Sutcliffe, G., Suttner, C. B. and Yemenis, T.: The TPTP problem library, in A. Bundy (ed.), Proceedings of the 12th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 814, Springer-Verlag, 1994, pp. 252–266.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • FRANCIS JEFFRY PELLETIER
    • 1
  • GEOFF SUTCLIFFE
    • 2
  1. 1.Department of Computing ScienceUniversity of AlbertaCanada
  2. 2.Department of Computer ScienceJames Cook UniversityAustralia

Personalised recommendations