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

Keywords

Artificial Intelligence Mathematical Logic Algebraic Manipulation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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