Reimer, U.: Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate (1991)
0.04
0.042382583 = product of:
0.084765166 = sum of:
0.017676767 = product of:
0.0530303 = sum of:
0.0530303 = weight(_text_:k in 1566) [ClassicSimilarity], result of:
0.0530303 = score(doc=1566,freq=4.0), product of:
0.13582034 = queryWeight, product of:
3.569778 = idf(docFreq=3384, maxDocs=44218)
0.03804728 = queryNorm
0.39044446 = fieldWeight in 1566, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.569778 = idf(docFreq=3384, maxDocs=44218)
0.0546875 = fieldNorm(doc=1566)
0.33333334 = coord(1/3)
0.0670884 = product of:
0.1341768 = sum of:
0.1341768 = weight(_text_:intelligenz in 1566) [ClassicSimilarity], result of:
0.1341768 = score(doc=1566,freq=4.0), product of:
0.21604365 = queryWeight, product of:
5.678294 = idf(docFreq=410, maxDocs=44218)
0.03804728 = queryNorm
0.6210634 = fieldWeight in 1566, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
5.678294 = idf(docFreq=410, maxDocs=44218)
0.0546875 = fieldNorm(doc=1566)
0.5 = coord(1/2)
0.5 = coord(2/4)
- Classification
- ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
IFQ (FH K)
- GHBS
- IFQ (FH K)
- RVK
- ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation