H ? « ‹ ← → › »

Language peer sets for AURA:
United States↑
United States/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

AURA(ID:6974/aur002)

alternate simple view
Country: United States
Designed 1987


Places
Related languages
LMA/ITP → AURA   Evolution of
AURA → Otter   Based on
References:
  • Smith. B. (1988) Smith. B. "Reference Manual for the Environmental Theorem Prover: An Incarnation of AURA". Tech. Report ANL-88-2, Argonne National Laboratory, Argonne, IL, March 1988.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder