H ? « ‹ ← → › »

Language peer sets for LT:
United States↑
United States/1957↑
Designed 1957 ↑
1950s languages ↑
Second generation↑
Early Cold War↑
Genus Linear ↑
Specialised Languages ↑
Linear↑
Logic-reflexive↑
Close mapping ↑
Linear/1957↑
Logic-reflexive/1957↑
Close mapping/1957↑
Linear/United States↑
Logic-reflexive/United States↑
Close mapping/United States↑
Specialised Languages ↑
Specialised Languages/1957↑
Specialised Languages/us ↑

LT(ID:7244/lt:002)

Logical Theorist - theorem proving system at RAND 

alternate simple view
Country: United States
Designed 1957
Genus: Linear
Sammet category: Specialised Languages

for Logical Theorist

theorem proving system by NSS on JOHNNIAC

Hardware:
Related languages
LT → LT-2   Evolution of
LT → SAINT   Influence
References:
  • Newell, A. and Shaw, J. C., (1957) Newell, A. and Shaw, J. C., "Programming the Logic Theory Machine"
          in [JCC 11] (1957) [JCC 11] Proceedings of the Western Joint Computer Conference, Los Angeles February 1957
  • Newell, A., Shaw, J. C., and Simon, H. A., (1957) Newell, A., Shaw, J. C., and Simon, H. A., "Empirical Explorations of the Logic Theory Machine: A Case Study in Heuristic" pp218-239
          in [JCC 11] (1957) [JCC 11] Proceedings of the Western Joint Computer Conference, Los Angeles February 1957
  • Ware, Willis H. (1966) Ware, Willis H. "JOHNNIAC Eulogy" RAND July 1979 Corp. document P-3313, March 1966, pp. 1l-12 Extract: Notable uses of JOHNNIAC
          in [JCC 11] (1957) [JCC 11] Proceedings of the Western Joint Computer Conference, Los Angeles February 1957
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder