Search (2 results, page 1 of 1)

  1. Bibel, W.; Hölldobler, S.; Schaub, T.: Wissensrepräsentation und Inferenz : eine grundlegende Einführung (1993) 10.60 
    10.598274 = weight(author_ss:Schaub, T. in 3389) [ClassicSimilarity], result of:
  10.598274 = score(doc=3389,freq=1.0), product of:
    0.99999994 = queryWeight, product of:
      10.598275 = idf(docFreq=2, maxDocs=44218)
      0.09435497 = queryNorm
    10.598275 = fieldWeight in 3389, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      10.598275 = idf(docFreq=2, maxDocs=44218)
      1.0 = fieldNorm(doc=3389)
    Author
    Schaub, T.
  2. Kaminski, R.; Schaub, T.; Wanko, P.: ¬A tutorial on hybrid answer set solving with clingo (2017) 10.60 
    10.598274 = weight(author_ss:Schaub, T. in 3937) [ClassicSimilarity], result of:
  10.598274 = score(doc=3937,freq=1.0), product of:
    0.99999994 = queryWeight, product of:
      10.598275 = idf(docFreq=2, maxDocs=44218)
      0.09435497 = queryNorm
    10.598275 = fieldWeight in 3937, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      10.598275 = idf(docFreq=2, maxDocs=44218)
      1.0 = fieldNorm(doc=3937)
    Author
    Schaub, T.

Authors

Years

Languages

Types

Subjects

Classifications