• publisher: Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign
  • creator: Plaisted, David A
  • Keyword: Electronics digital computers Programming. Automatic theorem proving Recursion theory
  • years: 1978.
  • pages: 53 p. ;
  • class: QA76 QA76.6
  • notes: "UILU-ENG 78 1736."
  • download: pdf file