Journal of Automated Reasoning

, Volume 18, Issue 1, pp 135–135

An Erratum for Some Errata to ATP Problems

  • FRANCIS JEFFRY PELLETIER
  • GEOFF SUTCLIFFE
Article

DOI: 10.1023/A:1005764705033

Cite this article as:
PELLETIER, F.J. & SUTCLIFFE, G. Journal of Automated Reasoning (1997) 18: 135. doi:10.1023/A:1005764705033

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