TopDir - top sites directory

TopDir is a human edited web directory with various categories, a collection of hand-picked web resources for visitors

TopDir offers free website promotion for webmasters and website owners. Relevant search results and many categories for adding and promoting websites. Free web promotion for websites at TopDir directory. Submit your url for review. A collection of hand-picked web resources for visitors. This page is focused on one particular aspect of World, Français, Sciences, Mathématiques, Logique et fondements, Centres de recherche.

Informatique théorique@ (11)

Voir également :

World: Français: Sciences: Mathématiques: Centres de recherche (63)

Cette catégorie en d'autres langues :

anglais (62)

http://www.lofs.ucl.ac.be/cnrl/Cnrl.html

» Centre national de recherches de Logique - Organisation visant à réaliser, susciter et coordonner la recherche en logique, tant philosophique que mathématique, dans les différentes institutions universitaires belges.

http://logik.mathematik.uni-freiburg.de/index_fr.html

» Équipe de Logique Mathématique - Groupe de recherches à l'institut de mathématiques de l'université de Freiburg.

» Équipe de logique mathématique - Etude de la théorie des modèles, de la théorie des ensembles, et des applications à l'informatique. Université Paris 7, CNRS - UMR 7056.

» Equipe Modèles de Calcul et de Complexité - Les différents thèmes de cette équipe du laboratoire d'informatique de l'ENS Lyon concernent l'étude de la notion d'algorithme et la conception de nouveaux algorithmes. Lyon, France.

» Équipe Plume - Cette équipe du laboratoire d'informatique de l'ENS Lyon s'intéresse à la preuve formelle et la sémantique. Analyse théorique des formalismes et mise en oeuvre de méthodes formelles (déduction automatique, spécification et vérification). Lyon, France.

» Laboratoire d'algorithmique, complexité et logique - Laboratoire du CNRS au département d'informatique de l'Université Paris 12.

» Logique de la Programmation - Équipe de recherche de l'Institut de Mathématiques de Luminy.

http://www.ulb.ac.be/rech/inventaire/unites/ULB174.html

» Logique mathématique - Recherches en théories des ensembles alternatives, théorie des modèles et informatique théorique, à l'Université Libre de Bruxelles.

$http://w3.umh.ac.be/math/logic/$

» Service de Logique Mathématique - Équipe de l'institut de Mathématique de l'Université de Mons-Hainaut (Belgique).

$http://math.univ-lyon1.fr/~blossier/logique/$

» Thème Logique - Thème de recherche en logique mathématique de l'Institut Camille Jordan (Université Lyon I): théorie des modèles et complexité algébrique, en rapport avec la théorie des groupes et la géométrie.

TopDir is a human edited web directory with various categories. Our mission is to organize theme based websites and remove the clutter from the information. We strive to provide context based website results to our visitors. This directory is an evolving one and we regularly add new categories, if there is a necessity. Members can suggest new categories and websites for inclusion. This is one stop promotion site for webmasters and website owners. We invite you to browse the categories and suggest your website url for an editor review. This page is focused on one particular aspect of World, Français, Sciences, Mathématiques, Logique et fondements, Centres de recherche.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Web directories list the websites by theme. The links in a web directory are collected, edited and organized by humans. Yahoo and Dmoz ODP(Open Directory Project) are considered as the best human-edited web directories on the Internet and they are one of the most trusted and relied traffic sources. Since these directories get thousands of submissions every day, it is sometimes difficult to get listed in them and your URL may take a long time to be reviewed and listed. Generally good directory listings give a surprise boost to your link popularity.