Search (5 results, page 1 of 1)

Blair, D.C.: Language and representation in information retrieval (1991) 9.91

9.905128 = weight(rvk_ss:ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation in 1545) [ClassicSimilarity], result of:
  9.905128 = fieldWeight in 1545, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    9.905128 = idf(docFreq=5, maxDocs=44218)
    1.0 = fieldNorm(doc=1545)

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

Reimer, U.: Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate (1991) 9.91
```
9.905128 = weight(rvk_ss:ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation in 1566) [ClassicSimilarity], result of:
  9.905128 = fieldWeight in 1566, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    9.905128 = idf(docFreq=5, maxDocs=44218)
    1.0 = fieldNorm(doc=1566)
```
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
Fensel, D.: Ontologies : a silver bullet for knowledge management and electronic commerce (2004) 9.91
```
9.905128 = weight(rvk_ss:ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation in 1949) [ClassicSimilarity], result of:
  9.905128 = fieldWeight in 1949, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    9.905128 = idf(docFreq=5, maxDocs=44218)
    1.0 = fieldNorm(doc=1949)
```
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
Stock, W.G.; Stock, M.: Wissensrepräsentation : Informationen auswerten und bereitstellen (2008) 9.91
```
9.905128 = weight(rvk_ss:ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation in 4039) [ClassicSimilarity], result of:
  9.905128 = fieldWeight in 4039, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    9.905128 = idf(docFreq=5, maxDocs=44218)
    1.0 = fieldNorm(doc=4039)
```
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

Hitzler, P.; Krötzsch, M.; Rudolph, S.; Sure, Y.: Semantic Web : Grundlagen (2008) 9.91

9.905128 = weight(rvk_ss:ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation in 358) [ClassicSimilarity], result of:
  9.905128 = fieldWeight in 358, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    9.905128 = idf(docFreq=5, maxDocs=44218)
    1.0 = fieldNorm(doc=358)

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

Search (5 results, page 1 of 1)

Authors

Years

Languages

Themes

Subjects

Classifications