International Center for Computational Logic (de)
From semantic-mediawiki.org
Wiki des Monats - Mai 2015[edit]
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.
