Search (1 results, page 1 of 1)

  • × subject_ss:"Mathematical Logic and Formal Languages"
  1. Reasoning Web : Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (2017) 9.50 
    9.504243 = weight(rvk_ss:SS 4800 in 4934) [ClassicSimilarity], result of:
  9.504243 = fieldWeight in 4934, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    9.504243 = idf(docFreq=8, maxDocs=44421)
    1.0 = fieldNorm(doc=4934)
    Classification
    SS 4800
    Rvk
    SS 4800