Search (1 results, page 1 of 1)

  1. Miller, R.: Three problems in logic-based knowledge representation (2006) 11.00 
    11.00374 = weight(author_ss:Miller, R. in 660) [ClassicSimilarity], result of:
  11.00374 = fieldWeight in 660, 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=660)
    Author
    Miller, R.