Search (1 results, page 1 of 1)

  • × classification_ss:"54.72 / Künstliche Intelligenz"
  • × subject_ss:"Künstliche Intelligenz / Metamathematik"
  1. Hofstadter, D.R.: I am a strange loop (2007) 0.01
    0.014016678 = product of:
      0.05606671 = sum of:
        0.05606671 = weight(_text_:logik in 666) [ClassicSimilarity], result of:
          0.05606671 = score(doc=666,freq=4.0), product of:
            0.2638803 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.038811367 = queryNorm
            0.21247023 = fieldWeight in 666, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.015625 = fieldNorm(doc=666)
      0.25 = coord(1/4)
    
    BK
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre