-
Lenski, W.: Wissensrepräsentation und Sacherschließung in Literaturdatenbanken : Herausforderungen, Realisierungen und Perspektiven am Beispiel der Mathematischen Logik (1995)
9.91
9.905128 = weight(field_ss:Mathematische Logik in 925) [ClassicSimilarity], result of:
9.905128 = fieldWeight in 925, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.905128 = idf(docFreq=5, maxDocs=44218)
1.0 = fieldNorm(doc=925)
- Field
- Mathematische Logik
-
Lenski, W.; Wette-Roch, E.: Foundational aspects of knowledge-based information systems in scientific domains (1997)
9.91
9.905128 = weight(field_ss:Mathematische Logik in 7847) [ClassicSimilarity], result of:
9.905128 = fieldWeight in 7847, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.905128 = idf(docFreq=5, maxDocs=44218)
1.0 = fieldNorm(doc=7847)
- Field
- Mathematische Logik
-
Lenski, W.; Wette-Roch, E.: Terminologie und Wissensrepräsentation in pragmatischer Sichtweise (1996)
9.91
9.905128 = weight(field_ss:Mathematische Logik in 5380) [ClassicSimilarity], result of:
9.905128 = fieldWeight in 5380, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.905128 = idf(docFreq=5, maxDocs=44218)
1.0 = fieldNorm(doc=5380)
- Field
- Mathematische Logik
-
Gray, J.: Symbols and suggestions : Communication of mathematics in print (2001)
9.91
9.905128 = weight(field_ss:Mathematische Logik in 5893) [ClassicSimilarity], result of:
9.905128 = fieldWeight in 5893, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.905128 = idf(docFreq=5, maxDocs=44218)
1.0 = fieldNorm(doc=5893)
- Field
- Mathematische Logik
-
Reyzin, L.: Unprovability comes to machine learning (2019)
9.91
9.905128 = weight(field_ss:Mathematische Logik in 4687) [ClassicSimilarity], result of:
9.905128 = fieldWeight in 4687, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.905128 = idf(docFreq=5, maxDocs=44218)
1.0 = fieldNorm(doc=4687)
- Field
- Mathematische Logik
