Search (2 results, page 1 of 1)

Hofstadter, D.R.: I am a strange loop (2007) 0.06

0.06164125 = product of:
  0.1232825 = sum of:
    0.061467804 = weight(_text_:intelligenz in 666) [ClassicSimilarity], result of:
      0.061467804 = score(doc=666,freq=12.0), product of:
        0.19999503 = queryWeight, product of:
          5.678294 = idf(docFreq=410, maxDocs=44218)
          0.03522097 = queryNorm
        0.30734667 = fieldWeight in 666, product of:
          3.4641016 = tf(freq=12.0), with freq of:
            12.0 = termFreq=12.0
          5.678294 = idf(docFreq=410, maxDocs=44218)
          0.015625 = fieldNorm(doc=666)
    0.061814696 = product of:
      0.12362939 = sum of:
        0.12362939 = weight(_text_:metamathematik in 666) [ClassicSimilarity], result of:
          0.12362939 = score(doc=666,freq=4.0), product of:
            0.37328154 = queryWeight, product of:
              10.598275 = idf(docFreq=2, maxDocs=44218)
              0.03522097 = queryNorm
            0.3311961 = fieldWeight in 666, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              10.598275 = idf(docFreq=2, maxDocs=44218)
              0.015625 = fieldNorm(doc=666)
      0.5 = coord(1/2)
  0.5 = coord(2/4)

BK: 54.72 / Künstliche Intelligenz
Classification: 54.72 / Künstliche Intelligenz
RSWK: Künstliche Intelligenz / Kognitiver Prozess
Künstliche Intelligenz / Metamathematik
Subject: Künstliche Intelligenz / Kognitiver Prozess
Künstliche Intelligenz / Metamathematik

Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.01

0.005964944 = product of:
  0.023859777 = sum of:
    0.023859777 = product of:
      0.047719553 = sum of:
        0.047719553 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
          0.047719553 = score(doc=3142,freq=2.0), product of:
            0.123337835 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03522097 = queryNorm
            0.38690117 = fieldWeight in 3142, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.078125 = fieldNorm(doc=3142)
      0.5 = coord(1/2)
  0.25 = coord(1/4)

Date: 26. 2.2008 15:58:22

Search (2 results, page 1 of 1)

Authors

Years

Subjects

Classifications