Search (1 results, page 1 of 1)

  • × author_ss:"Stathopoulos, Y."
  1. Stathopoulos, Y.; Baker, S.; Rei, M.; Teufel, S.: Variable typing : assigning meaning to variables in mathematical text (2018) 10.32 
    10.315173 = weight(author_ss:Teufel, S. in 432) [ClassicSimilarity], result of:
  10.315173 = fieldWeight in 432, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    10.315173 = idf(docFreq=3, maxDocs=44421)
    1.0 = fieldNorm(doc=432)
    Author
    Teufel, S.