Search (2 results, page 1 of 1)
- Did you mean:
- bliss%3a%2024.10 %28Theoretische informatik%29%22 2
- bloss%3a%2224.10 %28Theoretische informatik%29%22 2
- blass%3a%2224.10 %28Theoretische informatik%29%22 2
- bliss%3a%2223.10 %28Theoretische informatik%29%22 2
- bloss%3a%2024.10 %28Theoretische informatik%29%22 2
-
Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998)
0.01
0.0071174665 = product of: 0.0213524 = sum of: 0.0213524 = product of: 0.06405719 = sum of: 0.06405719 = weight(_text_:22 in 3142) [ClassicSimilarity], result of: 0.06405719 = score(doc=3142,freq=2.0), product of: 0.16556475 = queryWeight, product of: 3.5018296 = idf(docFreq=3622, maxDocs=44218) 0.047279496 = 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
-
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.01
0.005288895 = product of: 0.015866686 = sum of: 0.015866686 = product of: 0.047600053 = sum of: 0.047600053 = weight(_text_:informatik in 5089) [ClassicSimilarity], result of: 0.047600053 = score(doc=5089,freq=2.0), product of: 0.24124238 = queryWeight, product of: 5.1024737 = idf(docFreq=730, maxDocs=44218) 0.047279496 = 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