Search (2 results, page 1 of 1)
-
×
author_ss:"Schaub, T."
-
Bibel, W.; Hölldobler, S.; Schaub, T.: Wissensrepräsentation und Inferenz : eine grundlegende Einführung (1993)
0.00
0.0012249405 = product of: 0.002449881 = sum of: 0.002449881 = product of: 0.004899762 = sum of: 0.004899762 = weight(_text_:s in 3389) [ClassicSimilarity], result of: 0.004899762 = score(doc=3389,freq=4.0), product of: 0.057684682 = queryWeight, product of: 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.053056188 = queryNorm 0.08494043 = fieldWeight in 3389, product of: 2.0 = tf(freq=4.0), with freq of: 4.0 = termFreq=4.0 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.0390625 = fieldNorm(doc=3389) 0.5 = coord(1/2) 0.5 = coord(1/2)
- Pages
- 387 S
-
Kaminski, R.; Schaub, T.; Wanko, P.: ¬A tutorial on hybrid answer set solving with clingo (2017)
0.00
8.6616375E-4 = product of: 0.0017323275 = sum of: 0.0017323275 = product of: 0.003464655 = sum of: 0.003464655 = weight(_text_:s in 3937) [ClassicSimilarity], result of: 0.003464655 = score(doc=3937,freq=2.0), product of: 0.057684682 = queryWeight, product of: 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.053056188 = queryNorm 0.060061958 = fieldWeight in 3937, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.0390625 = fieldNorm(doc=3937) 0.5 = coord(1/2) 0.5 = coord(1/2)
- Pages
- S.167-203
Authors
- Bibel, W. 1
- Hölldobler, S. 1
- Kaminski, R. 1
- Wanko, P. 1