Correlation Clustering

http://nbn-resolving.de/urn:nbn:de:bvb:19-87361

Keine Beschreibung vorhanden.

http://www.senzatempo.de/ston2012070100.html

Keine Beschreibung vorhanden.

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 …

http://www.wias-berlin.de/people/jahnel/?lang=0

Keine Beschreibung vorhanden.

Planetary Motion

http://gerdbreitenbach.de/planet/planet.html

Keine Beschreibung vorhanden.