Reimer, U.: Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate (1991)
0.04
0.041907985 = product of:
0.08381597 = sum of:
0.017478824 = product of:
0.052436467 = sum of:
0.052436467 = weight(_text_:k in 1566) [ClassicSimilarity], result of:
0.052436467 = score(doc=1566,freq=4.0), product of:
0.13429943 = queryWeight, product of:
3.569778 = idf(docFreq=3384, maxDocs=44218)
0.037621226 = 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.066337146 = product of:
0.13267429 = sum of:
0.13267429 = weight(_text_:intelligenz in 1566) [ClassicSimilarity], result of:
0.13267429 = score(doc=1566,freq=4.0), product of:
0.21362439 = queryWeight, product of:
5.678294 = idf(docFreq=410, maxDocs=44218)
0.037621226 = 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