Search (2 results, page 1 of 1)

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

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

Theme: Formale Begriffsanalyse

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

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

Theme: Formale Begriffsanalyse