Journal of Automated Reasoning

, Volume 2, Issue 2, pp 191–216

Seventy-five problems for testing automatic theorem provers

  • Francis Jeffry Pelletier
Problem Corner

DOI: 10.1007/BF02432151

Cite this article as:
Pelletier, F.J. J Autom Reasoning (1986) 2: 191. doi:10.1007/BF02432151

Copyright information

© D. Reidel Publishing Company 1986

Authors and Affiliations

  • Francis Jeffry Pelletier
    • 1
  1. 1.Department of PhilosophyUniversity of AlbertaEdmontonCanada

Personalised recommendations