Search (1 results, page 1 of 1)

  • × author_ss:"Kohlhase, M."
  1. Aizawa, A.; Kohlhase, M.: Mathematical information retrieval (2021) 10.31 
    10.310593 = weight(author_ss:Aizawa, A. in 667) [ClassicSimilarity], result of:
  10.310593 = fieldWeight in 667, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    10.310593 = idf(docFreq=3, maxDocs=44218)
    1.0 = fieldNorm(doc=667)
    Author
    Aizawa, A.