Sprachsituation einzelner Gebiete Mathematik Wissenschaft Sozialwissenschaft Unternehmen Ingenieurwissenschaft Geisteswissenschaft Geschichte
  1. Mathematik
  2. Didaktik der Mathematik
  3. Logik
y sk1
y sk1
X. Resolution II - TU Darmstadt/Mathematik
X. Resolution II - TU Darmstadt/Mathematik
x,y
x,y
x ∀ x∃ ∑ ∑ ∑ ∑ ∑ ∑ 1 = e о
x ∀ x∃ ∑ ∑ ∑ ∑ ∑ ∑ 1 = e о
x Ð 2y y Ð x ”z tpAq maxttpBq,tpCqu 1.
x Ð 2y y Ð x ”z tpAq maxttpBq,tpCqu 1.
x a1a2 ¤¤¤an¡1an anan¡1 ¤¤¤a2a1 . L tw € Σ¦ P tpS, εqu ‰ tpS
x a1a2 ¤¤¤an¡1an anan¡1 ¤¤¤a2a1 . L tw € Σ¦ P tpS, εqu ‰ tpS
x - Semantic-Web
x - Semantic-Web
X - Lehrstuhl 11 Algorithm Engineering
X - Lehrstuhl 11 Algorithm Engineering
WS 2013/14 Diskrete Strukturen
WS 2013/14 Diskrete Strukturen
WS 2006/07 Diskrete Strukturen - Fakultät für Informatik
WS 2006/07 Diskrete Strukturen - Fakultät für Informatik
Word
Word
WORD
WORD
Wolfgang Lenzen Zur Logik alethischer und deontischer Modalitäten
Wolfgang Lenzen Zur Logik alethischer und deontischer Modalitäten
Wohl-fundierte Semantik Motivation
Wohl-fundierte Semantik Motivation
Wohl-fundierte Semantik
Wohl-fundierte Semantik
Witti-Buch2 2001:Witti-Buch2 2001.qxd.qxd
Witti-Buch2 2001:Witti-Buch2 2001.qxd.qxd
Wissensrepräsentation und Schlussfolgern
Wissensrepräsentation und Schlussfolgern
Wissensrepräsentation und Logik
Wissensrepräsentation und Logik
Wissensrepräsentation und -verarbeitung
Wissensrepräsentation und -verarbeitung
Wissensrepräsentation
Wissensrepräsentation
Wissensmodellierung und wissensbasierte Systeme
Wissensmodellierung und wissensbasierte Systeme