Search (5 results, page 1 of 1)

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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

Languages

Types