International Center for Computational Logic (de)

From semantic-mediawiki.org

Wiki des Monats - Mai 2015[edit]

ICCL-wiki-screenshot.png

International Center for Computational Logic ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Logik und Formalen Methoden in der Informatik. Dieses Wiki ist die Homepage.

Eine detaillierte englischsprachige Beschreibung des Wikis ist auf der folgenden Seite verfügbar: International Center For Computational Logic.