H ? « ‹ ← → › »

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

LMA/ITP(ID:6973/lma003)

alternate simple view
Country: United States
Designed 1984

Lusk and Overbeek, Argonne National Laboratory, April 1984.

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