Search (5 results, page 1 of 1)

  • × theme_ss:"Formale Begriffsanalyse"
  • × type_ss:"m"
  1. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.04 
    0.036428396 = product of:
  0.07285679 = sum of:
    0.07285679 = sum of:
      0.010504999 = weight(_text_:e in 3142) [ClassicSimilarity], result of:
        0.010504999 = score(doc=3142,freq=2.0), product of:
          0.06614887 = queryWeight, product of:
            1.43737 = idf(docFreq=28552, maxDocs=44218)
            0.04602077 = queryNorm
          0.15880844 = fieldWeight in 3142, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            1.43737 = idf(docFreq=28552, maxDocs=44218)
            0.078125 = fieldNorm(doc=3142)
      0.06235179 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
        0.06235179 = score(doc=3142,freq=2.0), product of:
          0.1611569 = queryWeight, product of:
            3.5018296 = idf(docFreq=3622, maxDocs=44218)
            0.04602077 = queryNorm
          0.38690117 = fieldWeight in 3142, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.5018296 = idf(docFreq=3622, maxDocs=44218)
            0.078125 = fieldNorm(doc=3142)
  0.5 = coord(1/2)
    Date
    26. 2.2008 15:58:22
    Language
    e
  2. Sowa, J.F.: Knowledge representation : logical, philosophical, and computational foundations (2000) 0.00 
    0.0036767495 = product of:
  0.007353499 = sum of:
    0.007353499 = product of:
      0.014706998 = sum of:
        0.014706998 = weight(_text_:e in 4360) [ClassicSimilarity], result of:
          0.014706998 = score(doc=4360,freq=2.0), product of:
            0.06614887 = queryWeight, product of:
              1.43737 = idf(docFreq=28552, maxDocs=44218)
              0.04602077 = queryNorm
            0.2223318 = fieldWeight in 4360, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              1.43737 = idf(docFreq=28552, maxDocs=44218)
              0.109375 = fieldNorm(doc=4360)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Language
    e
  3. Ganter, B.; Wille, R.: Formal concept analysis : mathematical foundations (1998) 0.00 
    0.0015757497 = product of:
  0.0031514994 = sum of:
    0.0031514994 = product of:
      0.006302999 = sum of:
        0.006302999 = weight(_text_:e in 5061) [ClassicSimilarity], result of:
          0.006302999 = score(doc=5061,freq=2.0), product of:
            0.06614887 = queryWeight, product of:
              1.43737 = idf(docFreq=28552, maxDocs=44218)
              0.04602077 = queryNorm
            0.09528506 = fieldWeight in 5061, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              1.43737 = idf(docFreq=28552, maxDocs=44218)
              0.046875 = fieldNorm(doc=5061)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Language
    e
  4. Working with conceptual structures : contributions to ICCS 2000. 8th International Conference on Conceptual Structures: Logical, Linguistic, and Computational Issues. Darmstadt, August 14-18, 2000 (2000) 0.00 
    9.191874E-4 = product of:
  0.0018383748 = sum of:
    0.0018383748 = product of:
      0.0036767495 = sum of:
        0.0036767495 = weight(_text_:e in 5089) [ClassicSimilarity], result of:
          0.0036767495 = score(doc=5089,freq=2.0), product of:
            0.06614887 = queryWeight, product of:
              1.43737 = idf(docFreq=28552, maxDocs=44218)
              0.04602077 = queryNorm
            0.05558295 = fieldWeight in 5089, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              1.43737 = idf(docFreq=28552, maxDocs=44218)
              0.02734375 = fieldNorm(doc=5089)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Language
    e
  5. Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000) 0.00 
    7.8787486E-4 = product of:
  0.0015757497 = sum of:
    0.0015757497 = product of:
      0.0031514994 = sum of:
        0.0031514994 = weight(_text_:e in 691) [ClassicSimilarity], result of:
          0.0031514994 = score(doc=691,freq=2.0), product of:
            0.06614887 = queryWeight, product of:
              1.43737 = idf(docFreq=28552, maxDocs=44218)
              0.04602077 = queryNorm
            0.04764253 = fieldWeight in 691, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              1.43737 = idf(docFreq=28552, maxDocs=44218)
              0.0234375 = fieldNorm(doc=691)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Language
    e

Authors

Years

Themes

Subjects