Search (5 results, page 1 of 1)

  • × classification_ss:"ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation"
  1. Fensel, D.: Ontologies : a silver bullet for knowledge management and electronic commerce (2004) 0.13
    0.13213958 = product of:
      0.26427916 = sum of:
        0.26427916 = sum of:
          0.22586298 = weight(_text_:intelligenz in 1949) [ClassicSimilarity], result of:
            0.22586298 = score(doc=1949,freq=20.0), product of:
              0.22769429 = queryWeight, product of:
                5.678294 = idf(docFreq=410, maxDocs=44218)
                0.040099066 = queryNorm
              0.9919572 = fieldWeight in 1949, product of:
                4.472136 = tf(freq=20.0), with freq of:
                  20.0 = termFreq=20.0
                5.678294 = idf(docFreq=410, maxDocs=44218)
                0.0390625 = fieldNorm(doc=1949)
          0.03841619 = weight(_text_:22 in 1949) [ClassicSimilarity], result of:
            0.03841619 = score(doc=1949,freq=4.0), product of:
              0.1404201 = queryWeight, product of:
                3.5018296 = idf(docFreq=3622, maxDocs=44218)
                0.040099066 = queryNorm
              0.27358043 = fieldWeight in 1949, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                3.5018296 = idf(docFreq=3622, maxDocs=44218)
                0.0390625 = fieldNorm(doc=1949)
      0.5 = coord(1/2)
    
    Classification
    004.67/8 22
    ST 300 Informatik / Monographien / Künstliche Intelligenz / Allgemeines
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    DDC
    004.67/8 22
    RSWK
    Wissenstechnik / Inferenz <Künstliche Intelligenz>
    World Wide Web / Datenbanksystem / Abfrage / Inferenz <Künstliche Intelligenz>
    Electronic Commerce / Agent <Künstliche Intelligenz> / XML
    RVK
    ST 300 Informatik / Monographien / Künstliche Intelligenz / Allgemeines
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    Subject
    Wissenstechnik / Inferenz <Künstliche Intelligenz>
    World Wide Web / Datenbanksystem / Abfrage / Inferenz <Künstliche Intelligenz>
    Electronic Commerce / Agent <Künstliche Intelligenz> / XML
  2. Reimer, U.: Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate (1991) 0.04
    0.035353146 = product of:
      0.07070629 = sum of:
        0.07070629 = product of:
          0.14141259 = sum of:
            0.14141259 = weight(_text_:intelligenz in 1566) [ClassicSimilarity], result of:
              0.14141259 = score(doc=1566,freq=4.0), product of:
                0.22769429 = queryWeight, product of:
                  5.678294 = idf(docFreq=410, maxDocs=44218)
                  0.040099066 = queryNorm
                0.6210634 = fieldWeight in 1566, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.678294 = idf(docFreq=410, maxDocs=44218)
                  0.0546875 = fieldNorm(doc=1566)
          0.5 = coord(1/2)
      0.5 = coord(1/2)
    
    Classification
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    RVK
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
  3. Hitzler, P.; Krötzsch, M.; Rudolph, S.; Sure, Y.: Semantic Web : Grundlagen (2008) 0.03
    0.02525225 = product of:
      0.0505045 = sum of:
        0.0505045 = product of:
          0.101009 = sum of:
            0.101009 = weight(_text_:intelligenz in 358) [ClassicSimilarity], result of:
              0.101009 = score(doc=358,freq=4.0), product of:
                0.22769429 = queryWeight, product of:
                  5.678294 = idf(docFreq=410, maxDocs=44218)
                  0.040099066 = queryNorm
                0.44361675 = fieldWeight in 358, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.678294 = idf(docFreq=410, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=358)
          0.5 = coord(1/2)
      0.5 = coord(1/2)
    
    Classification
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    RVK
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
  4. Blair, D.C.: Language and representation in information retrieval (1991) 0.02
    0.020201799 = product of:
      0.040403597 = sum of:
        0.040403597 = product of:
          0.080807194 = sum of:
            0.080807194 = weight(_text_:intelligenz in 1545) [ClassicSimilarity], result of:
              0.080807194 = score(doc=1545,freq=4.0), product of:
                0.22769429 = queryWeight, product of:
                  5.678294 = idf(docFreq=410, maxDocs=44218)
                  0.040099066 = queryNorm
                0.3548934 = fieldWeight in 1545, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.678294 = idf(docFreq=410, maxDocs=44218)
                  0.03125 = fieldNorm(doc=1545)
          0.5 = coord(1/2)
      0.5 = coord(1/2)
    
    Classification
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    RVK
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
  5. Stock, W.G.; Stock, M.: Wissensrepräsentation : Informationen auswerten und bereitstellen (2008) 0.01
    0.012626125 = product of:
      0.02525225 = sum of:
        0.02525225 = product of:
          0.0505045 = sum of:
            0.0505045 = weight(_text_:intelligenz in 4039) [ClassicSimilarity], result of:
              0.0505045 = score(doc=4039,freq=4.0), product of:
                0.22769429 = queryWeight, product of:
                  5.678294 = idf(docFreq=410, maxDocs=44218)
                  0.040099066 = queryNorm
                0.22180837 = fieldWeight in 4039, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.678294 = idf(docFreq=410, maxDocs=44218)
                  0.01953125 = fieldNorm(doc=4039)
          0.5 = coord(1/2)
      0.5 = coord(1/2)
    
    Classification
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    RVK
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation

Languages

Classifications