International Center for Computational Logic (de)

From semantic-mediawiki.org
Jump to: navigation, search

Wiki des Monats - Mai 2015

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.