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.053359464 = product of:
      0.33349666 = sum of:
        0.10521472 = weight(_text_:informatik in 1566) [ClassicSimilarity], result of:
          0.10521472 = score(doc=1566,freq=10.0), product of:
            0.11923607 = queryWeight, product of:
              5.1024737 = idf(docFreq=730, maxDocs=44218)
              0.023368286 = 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.17959906 = weight(_text_:monographien in 1566) [ClassicSimilarity], result of:
          0.17959906 = score(doc=1566,freq=10.0), product of:
            0.15578349 = queryWeight, product of:
              6.666449 = idf(docFreq=152, maxDocs=44218)
              0.023368286 = 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.009017903 = weight(_text_:der in 1566) [ClassicSimilarity], result of:
          0.009017903 = score(doc=1566,freq=2.0), product of:
            0.0521993 = queryWeight, product of:
              2.2337668 = idf(docFreq=12875, maxDocs=44218)
              0.023368286 = 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.039664954 = weight(_text_:t in 1566) [ClassicSimilarity], result of:
          0.039664954 = score(doc=1566,freq=4.0), product of:
            0.09205723 = queryWeight, product of:
              3.9394085 = idf(docFreq=2338, maxDocs=44218)
              0.023368286 = 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