H ? « »

Language peer sets for LMA/ITP:
United States
United States/1984
Designed 1984
1980s languages
Fourth generation
Late Cold War


alternate simple view
Country: United States
Designed 1984

Lusk and Overbeek, Argonne National Laboratory, April 1984.

Related languages
Argonne proving system LMA/ITP   Evolution of
LMA/ITP AURA   Evolution of

  • Lusk, E. (1984) Lusk, E. and R. Overbeek. The Automated Reasoning System ITP. Tech. Report ANL-84/27, Argonne National Laboratory, Argonne, IL, April 1984.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder