H ? « ‹ ← → › »

Language peer sets for SAM III:
Designed 1964 ↑
1960s languages ↑
Third generation↑
Early Cold War↑
Genus Arithmetic ↑
Arithmetic↑
Mathematical↑
Expression-oriented ↑
Arithmetic/1964↑
Mathematical/1964↑
Expression-oriented/1964↑

SAM III(ID:2886/sam006)

Semi-Automated Mathematics 

alternate simple view
Designed 1964
Genus: Arithmetic

  Semi-Automated Mathematics
References:
  • Bennett, James H.; Easton, William B.; Guard, Jame (1964) Bennett, James H.; Easton, William B.; Guard, James R.; Mott Jr., Thomas H. Toward Semi-Automated Mathematics: The Language and Logic of SAM III, 1964.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder