Search (2 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.01 
    0.0065206187 = product of:
  0.019561855 = sum of:
    0.019561855 = product of:
      0.058685564 = sum of:
        0.058685564 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
          0.058685564 = score(doc=3142,freq=2.0), product of:
            0.15168102 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.043314792 = 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.33333334 = coord(1/3)
  0.33333334 = coord(1/3)
    Date
    26. 2.2008 15:58:22
  2. 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.0048453854 = product of:
  0.014536156 = sum of:
    0.014536156 = product of:
      0.043608468 = sum of:
        0.043608468 = weight(_text_:informatik in 5089) [ClassicSimilarity], result of:
          0.043608468 = score(doc=5089,freq=2.0), product of:
            0.22101259 = queryWeight, product of:
              5.1024737 = idf(docFreq=730, maxDocs=44218)
              0.043314792 = 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.33333334 = coord(1/3)
  0.33333334 = coord(1/3)
    Series
    Berichte aus der Informatik

Years

Themes

Subjects