4 Ergebnisse für: disunification
-
-
Franz Baader — Professur für Automatentheorie — TU Dresden
http://lat.inf.tu-dresden.de/~baader/
Informationen zur Lehre Forschungsthemen Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik) Automatisches Beweisen (inbesondere Termersetzung und …
-
BabelStone Blog: What's new in Unicode 5.1 ?
http://babelstone.blogspot.de/2007/06/whats-new-in-unicode-51.html
Keine Beschreibung vorhanden.
-
site:unicode.org "Combining Diacritical Marks" - Google-Suche
http://www.google.com/search?num=100&q=site:unicode.org+%22Combining+Diacritical+Marks%22
Keine Beschreibung vorhanden.