Université Paris-Sud Laboratoire de recherche en informatique
Laboratoire de recherche en informatique Orsay, Essonne
Laboratoire de recherche en informatique (Orsay, Essonne) (1998-2020)
Laboratoire de Recherche en Informatique (Orsay)
Université de Paris 11. Laboratoire de recherche en informatique
Laboratoire de recherche en informatique
Université de Paris-Sud. Laboratoire de recherche en informatique
VIAF ID: 126220994 ( Corporate )
Permalink: http://viaf.org/viaf/126220994
Preferred Forms
- 110 2 _ ‡a Laboratoire de Recherche en Informatique ‡g Orsay
- 151 _ _ ‡a Laboratoire de recherche en informatique
- 110 2 _ ‡a Laboratoire de recherche en informatique (Orsay, Essonne) (1998-2020)
- 210 | | ‡a Laboratoire de recherche en informatique ‡c Orsay, Essonne
-
- 110 2 _ ‡a Université Paris-Sud. ‡b Laboratoire de recherche en informatique
-
-
- 110 2 _ ‡a Université Paris-Sud ‡b Laboratoire de recherche en informatique
-
4xx's: Alternate Name Forms (23)
5xx's: Related Names (10)
- 510 2 _ ‡a CentraleSupélec (2015-....)
- 510 2 _ ‡a Centre national de la recherche scientifique (France) (1939-....)
- 510 2 _ ‡a Institut national de recherche en informatique et en automatique (France)
- 510 2 _ ‡a Laboratoire Méthodes formelles (Gif-sur-Yvette, Essonne) (2021-....)
- 510 2 _ ‡a Laboratoire interdisciplinaire des sciences du numérique (Orsay, Essonne) (2021-....)
- 551 _ _ ‡a Orsay
- 510 2 _ ‡a Université Paris-Saclay (2020-....)
- 510 2 _ ‡a Université Paris-Sud (1970-2019)
- 510 2 _ ‡a Université Paris-Sud ‡e Ueberordnung
- 510 2 _ ‡a Université Paris-Sud
Works
Title | Sources |
---|---|
Approche incrémentale des preuves automatiques de terminaison | |
International Conference on Distributed Computing Systems (2nd : 1981 : Paris, France). Proceedings, 1981 (a.e.) | |
Modélisation et évaluation des systèmes informatiques textes des exposés du séminaire... novembre 1979-juillet 1980 | |
Outils pour l'apprentissage [colloque], Orsay, 17-18 janvier 1983 | |
Rapport de recherche LRI |