Search (1 results, page 1 of 1)

  • × classification_ss:"TYP (HA)"
  • × classification_ss:"ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation"
  1. Blair, D.C.: Language and representation in information retrieval (1991) 0.02
    0.01879778 = product of:
      0.07519112 = sum of:
        0.07519112 = weight(_text_:intelligenz in 1545) [ClassicSimilarity], result of:
          0.07519112 = score(doc=1545,freq=4.0), product of:
            0.2118696 = queryWeight, product of:
              5.678294 = idf(docFreq=410, maxDocs=44218)
              0.03731219 = queryNorm
            0.3548934 = fieldWeight in 1545, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.678294 = idf(docFreq=410, maxDocs=44218)
              0.03125 = fieldNorm(doc=1545)
      0.25 = coord(1/4)
    
    Classification
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    RVK
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation