Search (1 results, page 1 of 1)

  1. Reasoning Web : Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (2017) 11.00
    11.00374 = weight(lcsh_ss:Mathematical Logic and Formal Languages in 3934) [ClassicSimilarity], result of:
      11.00374 = fieldWeight in 3934, product of:
        1.0 = tf(freq=1.0), with freq of:
          1.0 = termFreq=1.0
        11.00374 = idf(docFreq=1, maxDocs=44218)
        1.0 = fieldNorm(doc=3934)
    
    Lcsh
    Mathematical Logic and Formal Languages
    Subject
    Mathematical Logic and Formal Languages