A machine program for theorem proving

Author(s)

Journal

  • Communications of the ACM

    Communications of the ACM 5(7), 394-397, 1962

Cited by:  1

Codes

  • NII Article ID (NAID)
    10025003711
  • Article Type
    Journal Article
  • Data Source
    CJPref 
Page Top