Search (2 results, page 1 of 1)

  • × type_ss:"m"
  • × theme_ss:"Formale Begriffsanalyse"
  1. 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 
    0.002734161 = product of:
  0.03280993 = sum of:
    0.03280993 = weight(_text_:informatik in 5089) [ClassicSimilarity], result of:
      0.03280993 = score(doc=5089,freq=2.0), product of:
        0.1662844 = queryWeight, product of:
          5.1024737 = idf(docFreq=730, maxDocs=44218)
          0.032588977 = queryNorm
        0.19731215 = fieldWeight in 5089, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          5.1024737 = idf(docFreq=730, maxDocs=44218)
          0.02734375 = fieldNorm(doc=5089)
  0.083333336 = coord(1/12)
    Series
    Berichte aus der Informatik
  2. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.00 
    0.001839732 = product of:
  0.022076784 = sum of:
    0.022076784 = product of:
      0.044153567 = sum of:
        0.044153567 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
          0.044153567 = score(doc=3142,freq=2.0), product of:
            0.11412105 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.032588977 = 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)
  0.083333336 = coord(1/12)
    Date
    26. 2.2008 15:58:22

Years

Themes

Subjects