-
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
-
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
-
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
-
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
-
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