International Center for Computational Logic (fr)

Wiki du mois - Mai 2015

International Center for Computational Logic est un centre d'enseignement et de recherche dans le domaine de la logique informatique appartenant à la Dresden University of Technology en Allemagne.

Une description de ce wiki plus détaillée est disponible en anglais sur cette page: International Center For Computational Logic.