Search (1 results, page 1 of 1)

  • × classification_ss:"ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation"
  • × classification_ss:"TVU (DU)"
  1. Reimer, U.: Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate (1991) 0.02
    0.018092977 = product of:
      0.1507748 = sum of:
        0.10307979 = weight(_text_:informatik in 1566) [ClassicSimilarity], result of:
          0.10307979 = score(doc=1566,freq=10.0), product of:
            0.116816625 = queryWeight, product of:
              5.1024737 = idf(docFreq=730, maxDocs=44218)
              0.022894116 = queryNorm
            0.88240683 = fieldWeight in 1566, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              5.1024737 = idf(docFreq=730, maxDocs=44218)
              0.0546875 = fieldNorm(doc=1566)
        0.00883492 = weight(_text_:der in 1566) [ClassicSimilarity], result of:
          0.00883492 = score(doc=1566,freq=2.0), product of:
            0.051140115 = queryWeight, product of:
              2.2337668 = idf(docFreq=12875, maxDocs=44218)
              0.022894116 = queryNorm
            0.17275909 = fieldWeight in 1566, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.2337668 = idf(docFreq=12875, maxDocs=44218)
              0.0546875 = fieldNorm(doc=1566)
        0.038860105 = weight(_text_:t in 1566) [ClassicSimilarity], result of:
          0.038860105 = score(doc=1566,freq=4.0), product of:
            0.09018928 = queryWeight, product of:
              3.9394085 = idf(docFreq=2338, maxDocs=44218)
              0.022894116 = queryNorm
            0.4308728 = fieldWeight in 1566, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              3.9394085 = idf(docFreq=2338, maxDocs=44218)
              0.0546875 = fieldNorm(doc=1566)
      0.12 = coord(3/25)
    
    Classification
    ST 285 Informatik / Monographien / Software und -entwicklung / Computer supported cooperative work (CSCW), Groupware
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    Mat T 1091 / Wissensverarbeitung
    RVK
    ST 285 Informatik / Monographien / Software und -entwicklung / Computer supported cooperative work (CSCW), Groupware
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    SBB
    Mat T 1091 / Wissensverarbeitung
    Series
    Leitfäden und Monographien der Informatik