SAM IV(ID:2887/sam007)

Semi-Automated Mathematics 

Semi-Automated Mathematics
References:
  • Bennett, James H.; Easton, William B.; Guard, James R.; Loveman, David B.; Mott Jr., Thomas H. Semi-Automated Mathematics: SAM IV, 1964. view details