H ? « »

Language peer sets for Argonne proving system:
United States
United States/1974
Designed 1974
1970s languages
Fourth generation
High Cold War

Argonne proving system(ID:8405/)

alternate simple view
Country: United States
Designed 1974

Argonne proving system

Related languages
Wos QAS Argonne proving system   Evolution of
Argonne proving system LMA/ITP   Evolution of

  • Henschen et al (1974) Henschen, L.; Overbeek, Ross; Wos, L. "A Theorem-Proving Language for Experimentation" CACM 17(06) June 1974 pp308-314 Abstract Online copy Extract: Introduction Extract: Concluding Remarks
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder