Advertisement

Thinker

  • Francis Jeffry Pelletier
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)

References

  1. Pelletier, F.J. (1982) Completely Non-Clausal, Completely Heuristically Driven, Automatic Theorem Proving. Dept. Computing Science, University of Alberta, Tech. Report TR82-7.Google Scholar
  2. Pelletier, F.J. (1986) “Seventy-Five Problems for Testing Automatic Theorem Provers” Jour, Automated Reasoning (forthcoming).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Francis Jeffry Pelletier
    • 1
  1. 1.Departments of Philosophy and Computing ScienceUniversity of AlbertaEdmontonCanada

Personalised recommendations