Search (2 results, page 1 of 1)
-
×
author_ss:"Schaub, T."
- Did you mean:
- author's%3a%22Decker%2c S.%22 2
- authors%3a%22Decker%2c S.%22 2
-
Bibel, W.; Hölldobler, S.; Schaub, T.: Wissensrepräsentation und Inferenz : eine grundlegende Einführung (1993)
0.00
0.0010635054 = product of: 0.0021270108 = sum of: 0.0021270108 = product of: 0.0042540217 = sum of: 0.0042540217 = weight(_text_:s in 3389) [ClassicSimilarity], result of: 0.0042540217 = score(doc=3389,freq=4.0), product of: 0.05008241 = queryWeight, product of: 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.046063907 = 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
7.520119E-4 = product of: 0.0015040238 = sum of: 0.0015040238 = product of: 0.0030080476 = sum of: 0.0030080476 = weight(_text_:s in 3937) [ClassicSimilarity], result of: 0.0030080476 = score(doc=3937,freq=2.0), product of: 0.05008241 = queryWeight, product of: 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.046063907 = 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