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.0534575 = product of:
      0.33410937 = sum of:
        0.10540802 = weight(_text_:informatik in 1566) [ClassicSimilarity], result of:
          0.10540802 = score(doc=1566,freq=10.0), product of:
            0.11945513 = queryWeight, product of:
              5.1024737 = idf(docFreq=730, maxDocs=44218)
              0.023411218 = 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.17992903 = weight(_text_:monographien in 1566) [ClassicSimilarity], result of:
          0.17992903 = score(doc=1566,freq=10.0), product of:
            0.1560697 = queryWeight, product of:
              6.666449 = idf(docFreq=152, maxDocs=44218)
              0.023411218 = 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.009034471 = weight(_text_:der in 1566) [ClassicSimilarity], result of:
          0.009034471 = score(doc=1566,freq=2.0), product of:
            0.0522952 = queryWeight, product of:
              2.2337668 = idf(docFreq=12875, maxDocs=44218)
              0.023411218 = 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.039737824 = weight(_text_:t in 1566) [ClassicSimilarity], result of:
          0.039737824 = score(doc=1566,freq=4.0), product of:
            0.09222635 = queryWeight, product of:
              3.9394085 = idf(docFreq=2338, maxDocs=44218)
              0.023411218 = 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