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.05
    0.052543063 = product of:
      0.32839414 = sum of:
        0.103604935 = weight(_text_:informatik in 1566) [ClassicSimilarity], result of:
          0.103604935 = score(doc=1566,freq=10.0), product of:
            0.117411755 = queryWeight, product of:
              5.1024737 = idf(docFreq=730, maxDocs=44218)
              0.023010751 = 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.1768512 = weight(_text_:monographien in 1566) [ClassicSimilarity], result of:
          0.1768512 = score(doc=1566,freq=10.0), product of:
            0.1534 = queryWeight, product of:
              6.666449 = idf(docFreq=152, maxDocs=44218)
              0.023010751 = queryNorm
            1.1528761 = fieldWeight in 1566, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              6.666449 = idf(docFreq=152, maxDocs=44218)
              0.0546875 = fieldNorm(doc=1566)
        0.00887993 = weight(_text_:der in 1566) [ClassicSimilarity], result of:
          0.00887993 = score(doc=1566,freq=2.0), product of:
            0.05140065 = queryWeight, product of:
              2.2337668 = idf(docFreq=12875, maxDocs=44218)
              0.023010751 = 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.039058078 = weight(_text_:t in 1566) [ClassicSimilarity], result of:
          0.039058078 = score(doc=1566,freq=4.0), product of:
            0.09064875 = queryWeight, product of:
              3.9394085 = idf(docFreq=2338, maxDocs=44218)
              0.023010751 = 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.16 = coord(4/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