Search (1 results, page 1 of 1)

  • × year_i:[1990 TO 2000}
  1. Antoniou, G.: Integrity and rule checking in nonmonotonic knowledge bases (1996) 10.60 
    10.602856 = weight(author_ss:Antoniou, G. in 344) [ClassicSimilarity], result of:
  10.602856 = fieldWeight in 344, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    10.602856 = idf(docFreq=2, maxDocs=44421)
    1.0 = fieldNorm(doc=344)
    Author
    Antoniou, G.