This wiki is being moved to a new server and cannot be edited. Please sit tight. Thank you.

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.