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

Places
Related languages
Wos QAS → Argonne proving system   Evolution of
Argonne proving system → LMA/ITP   Evolution of
References:
  • 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