Search (1 results, page 1 of 1)

  • × subject_ss:"Metamathematik / LISP"
  1. Chaitin, G.J.: Algorithmic information theory (1987) 9.75 
    9.7509775 = weight(author_ss:Chaitin, G.J. in 4175) [ClassicSimilarity], result of:
  9.7509775 = fieldWeight in 4175, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    9.7509775 = idf(docFreq=6, maxDocs=44218)
    1.0 = fieldNorm(doc=4175)
    Author
    Chaitin, G.J.