International Center for Computational Logic (en)
From semantic-mediawiki.org
Wiki of the Month - May 2015[edit]
International Center for Computational Logic is a center of teaching and research in the field of computational logic at the Dresden University of Technology in Germany
A detailed description of this wiki is available on this page: International Center For Computational Logic.