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