Search (2 results, page 1 of 1)

Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 7.23

7.230979 = weight(theme_ss:Formale Begriffsanalyse in 3142) [ClassicSimilarity], result of:
  7.230979 = fieldWeight in 3142, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    7.230979 = idf(docFreq=86, maxDocs=44218)
    1.0 = fieldNorm(doc=3142)

Theme: Formale Begriffsanalyse

Prediger, S.: Terminologische Merkmalslogik in der Formalen Begriffsanalyse (2000) 7.23

7.230979 = weight(theme_ss:Formale Begriffsanalyse in 4197) [ClassicSimilarity], result of:
  7.230979 = fieldWeight in 4197, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    7.230979 = idf(docFreq=86, maxDocs=44218)
    1.0 = fieldNorm(doc=4197)

Theme: Formale Begriffsanalyse