Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:04879520n
Noun Named Entity
Categories: Laboratoire d'informatique, Informatique théorique, Logique mathématique, Université Paris VII (Diderot)
FR
Preuves, Programmes et Systèmes  PPS
FR
Preuves, Programmes et Systèmes est une unité mixte de recherche de logique informatique appartenant à l'université Paris-Diderot et au Centre national de la recherche scientifique dont le directeur est Thomas Ehrhard. Wikipedia
Definitions
Relations
Sources
FR
Preuves, Programmes et Systèmes est une unité mixte de recherche de logique informatique appartenant à l'université Paris-Diderot et au Centre national de la recherche scientifique dont le directeur est Thomas Ehrhard. Wikipedia
Un laboratoire de recherche sur les langages de programmation et les systèmes distribués, ainsi que leurs fondements logiques. Wikipedia Disambiguation
ancienne équipe de recherche CNRS/INRIA/Paris 7 Wikidata
IS A
institut de recherche
institution universitaire
unité mixte de recherche
COUNTRY
France
LOCATED IN THE ADMINISTRATIVE TERRITORIAL ENTITY
Paris
PARENT ORGANIZATION
université Paris-Diderot
Institut national de recherche en informatique et en automatique
Institut des sciences de l'information et de leurs interactions
REPLACED BY
Institut de recherche en informatique fondamentale
Wikipedia
FR
Preuves, Programmes et Systèmes
Wikidata
FR
Preuves, Programmes et Systèmes
Wikidata Alias
FR
PPS

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License