Search (1 results, page 1 of 1)
-
×
classification_ss:"ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation"
-
×
classification_ss:"TVU (DU)"
- Did you mean:
- rvk_ss%3a%2000 3400 philosophie %2f systematische philosophie %2f spezielle wissenschaftstheorie %2f geschichte der speziellen wissenschaftsheorie%22 1
- rvk_ss%3a%2200 3000 philosophie %2f systematische philosophie %2f spezielle wissenschaftstheorie %2f geschichte der speziellen wissenschaftsheorie%22 1
- rvk_ss%3a%2200 3400 philosophie %2f systematische philosophie %2f spezielle wissenschaftsheorie %2f geschichte der speziellen wissenschaftsheorie%22 1
- rvk_ss%3a%2200 3400 philosophie %2f systematische philosophie %2f spezielle wissenschaftstheorie %2f geschichte der speziellen wissenschaftstheorie%22 1
- rvk_ss%3a%2200 3400 philosophie %2f systematischen philosophie %2f spezielle wissenschaftstheorie %2f geschichte der speziellen wissenschaftsheorie%22 1
-
Reimer, U.: Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate (1991)
0.00
8.7555364E-4 = product of: 0.01225775 = sum of: 0.01225775 = weight(_text_:der in 1566) [ClassicSimilarity], result of: 0.01225775 = score(doc=1566,freq=2.0), product of: 0.070952855 = queryWeight, product of: 2.2337668 = idf(docFreq=12875, maxDocs=44218) 0.03176377 = queryNorm 0.17275909 = fieldWeight in 1566, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 2.2337668 = idf(docFreq=12875, maxDocs=44218) 0.0546875 = fieldNorm(doc=1566) 0.071428575 = coord(1/14)
- Series
- Leitfäden und Monographien der Informatik