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.05190781 = product of:
      0.32442382 = sum of:
        0.10235233 = weight(_text_:informatik in 1566) [ClassicSimilarity], result of:
          0.10235233 = score(doc=1566,freq=10.0), product of:
            0.11599222 = queryWeight, product of:
              5.1024737 = idf(docFreq=730, maxDocs=44218)
              0.022732547 = 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.17471303 = weight(_text_:monographien in 1566) [ClassicSimilarity], result of:
          0.17471303 = score(doc=1566,freq=10.0), product of:
            0.15154536 = queryWeight, product of:
              6.666449 = idf(docFreq=152, maxDocs=44218)
              0.022732547 = 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.00877257 = weight(_text_:der in 1566) [ClassicSimilarity], result of:
          0.00877257 = score(doc=1566,freq=2.0), product of:
            0.05077921 = queryWeight, product of:
              2.2337668 = idf(docFreq=12875, maxDocs=44218)
              0.022732547 = 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.03858586 = weight(_text_:t in 1566) [ClassicSimilarity], result of:
          0.03858586 = score(doc=1566,freq=4.0), product of:
            0.08955279 = queryWeight, product of:
              3.9394085 = idf(docFreq=2338, maxDocs=44218)
              0.022732547 = 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