Search (1 results, page 1 of 1)
-
Kaminski, R.; Schaub, T.; Wanko, P.: ¬A tutorial on hybrid answer set solving with clingo (2017)
11.00
11.00374 = weight(author_ss:Kaminski, R. in 3937) [ClassicSimilarity], result of: 11.00374 = fieldWeight in 3937, 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=3937)
- Author
- Kaminski, R.