Stock, W.G.; Stock, M.: Wissensrepräsentation : Informationen auswerten und bereitstellen (2008)
0.03
0.026729291 = product of:
0.13364646 = sum of:
0.13364646 = weight(_text_:theorem in 4039) [ClassicSimilarity], result of:
0.13364646 = score(doc=4039,freq=4.0), product of:
0.41721845 = queryWeight, product of:
8.200379 = idf(docFreq=32, maxDocs=44218)
0.050877944 = queryNorm
0.3203273 = fieldWeight in 4039, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
8.200379 = idf(docFreq=32, maxDocs=44218)
0.01953125 = fieldNorm(doc=4039)
0.2 = coord(1/5)
- Classification
- ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
- RVK
- ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation