Le demonstrateur de theoremes Manipulation et reutilisation des preuves

Les theoremes ergodiques en simulation

Ben Alaya, Mohamed
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84661 / INIST-CNRS -...

Developpement des recherches experimentales en physique statistique

Balibar, Sebastien
Bensimon, David
Croquette, Vincent
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Ecole Normale Superieure, 75 - Paris (France). Lab. de Physique Statistique

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14373 / INIST-CNRS - ...

Taux d'actualisation et comportements individuels

Jaeger, Mireille
Arnould, Daniel
Ray, Jean-Claude
Carvoyeur, Laure-Suzanne
Nancy-2 Univ., 54 ( FR). Equipe de Recherche pour l'Analyse Dynamique des Effets des Politiques Sociales (ADEPS)
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Emploi et Politiques Sociales

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14361 / INIST-CNRS - Insti...

Fonctionnalites d'un demonstrateur de theoremes pour la derivation assistee de programmes

Bert, Didier
Potet, Marie-Laure
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : AR 15197 / INIST-CNRS - Insti...

Approche fonctionnelle : de la theorie a la pratique

Le Metayer, Daniel
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 11649 / INIST-CNRS - Insti...

Mathematiques et informatique

Paris-6 Univ., 75 (France).= Lab. d'Informatique Theorique et Programmation
Paris-7 Univ., 75 (France). Lab. d'Informatique Theorique et Programmation
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique Theorique et Programmation

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : AR 15765 / INIST-CNRS ...

Realisations de culture scientifique et technique

Berestetsky, Alain
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Fondation 93, 93 - Montreuil-sous-Bois (France)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14786 / INIST-CNRS - Insti...

Developpement des activites de culture scientifique et technique dans l'Essonne

Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France). Sous-Direction des Interventions Financieres

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : AR 15406 / INIST-CNRS - Insti...

Ergonomie et conception de logiciels interactifs

Jeffroy, Francois
Vilm, Isabelle
Ministere de l'Enseignement Superieur et de la Recherche, 75 - Paris (France)
Centre Groupe d'Ergonomie du Logiciel, 91 - Massy (France)
Bull, 75 - Paris (France)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15502 / INIST-CNRS - ...

Etude theorique et experimentale d'un procede de sechage de papier par infrarouge a gaz

Vey Lejemble, Laurence
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83066 / INIST-CNRS -...

Synthese des avermectines

Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14256 / INIST-CNRS - ...

Etude experimentale et theorique du decoupage

Maillard, Andre

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 80434 / INIST-CNRS ...

Mathematiques appliquees a la maitrise de la qualite et a la surete de fonctionnement

January 1996

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15826 / INIST-CNRS - Ins...

Resultats de l'experimentation VAN dans le sud-est de la France

Loyer, M.
Massinon, B.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
CEA Centre d'Etudes de Bruyeres-le-Chatel, 91 (France). Lab. de Detection et de Geophysique

January 1987

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14561 / INIST-CNRS - Insti...

La dereglementation des marches et le progres scientifique et technique

Academie des Sciences, 75 - Paris (France). Comite des Applications de l'Academie des Sciences

January 1989

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15547 / INIST-CNRS ...

Les theoremes ergodiques en simulation

Ben Alaya, Mohamed
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84661 / INIST-CNRS -...

Developpement des recherches experimentales en physique statistique

Balibar, Sebastien
Bensimon, David
Croquette, Vincent
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Ecole Normale Superieure, 75 - Paris (France). Lab. de Physique Statistique

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14373 / INIST-CNRS - ...

Taux d'actualisation et comportements individuels

Jaeger, Mireille
Arnould, Daniel
Ray, Jean-Claude
Carvoyeur, Laure-Suzanne
Nancy-2 Univ., 54 ( FR). Equipe de Recherche pour l'Analyse Dynamique des Effets des Politiques Sociales (ADEPS)
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Emploi et Politiques Sociales

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14361 / INIST-CNRS - Insti...

Fonctionnalites d'un demonstrateur de theoremes pour la derivation assistee de programmes

Bert, Didier
Potet, Marie-Laure
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : AR 15197 / INIST-CNRS - Insti...

Approche fonctionnelle : de la theorie a la pratique

Le Metayer, Daniel
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 11649 / INIST-CNRS - Insti...

Mathematiques et informatique

Paris-6 Univ., 75 (France).= Lab. d'Informatique Theorique et Programmation
Paris-7 Univ., 75 (France). Lab. d'Informatique Theorique et Programmation
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique Theorique et Programmation

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : AR 15765 / INIST-CNRS ...

Realisations de culture scientifique et technique

Berestetsky, Alain
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Fondation 93, 93 - Montreuil-sous-Bois (France)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14786 / INIST-CNRS - Insti...

Developpement des activites de culture scientifique et technique dans l'Essonne

Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France). Sous-Direction des Interventions Financieres

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : AR 15406 / INIST-CNRS - Insti...

Ergonomie et conception de logiciels interactifs

Jeffroy, Francois
Vilm, Isabelle
Ministere de l'Enseignement Superieur et de la Recherche, 75 - Paris (France)
Centre Groupe d'Ergonomie du Logiciel, 91 - Massy (France)
Bull, 75 - Paris (France)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15502 / INIST-CNRS - ...

Etude theorique et experimentale d'un procede de sechage de papier par infrarouge a gaz

Vey Lejemble, Laurence
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83066 / INIST-CNRS -...

Synthese des avermectines

Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14256 / INIST-CNRS - ...

Etude experimentale et theorique du decoupage

Maillard, Andre

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 80434 / INIST-CNRS ...

Mathematiques appliquees a la maitrise de la qualite et a la surete de fonctionnement

January 1996

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15826 / INIST-CNRS - Ins...

Resultats de l'experimentation VAN dans le sud-est de la France

Loyer, M.
Massinon, B.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
CEA Centre d'Etudes de Bruyeres-le-Chatel, 91 (France). Lab. de Detection et de Geophysique

January 1987

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14561 / INIST-CNRS - Insti...

La dereglementation des marches et le progres scientifique et technique

Academie des Sciences, 75 - Paris (France). Comite des Applications de l'Academie des Sciences

January 1989

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15547 / INIST-CNRS ...

Les theoremes ergodiques en simulation

Ben Alaya, Mohamed
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84661 / INIST-CNRS -...

Developpement des recherches experimentales en physique statistique

Balibar, Sebastien
Bensimon, David
Croquette, Vincent
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Ecole Normale Superieure, 75 - Paris (France). Lab. de Physique Statistique

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14373 / INIST-CNRS - ...

Taux d'actualisation et comportements individuels

Jaeger, Mireille
Arnould, Daniel
Ray, Jean-Claude
Carvoyeur, Laure-Suzanne
Nancy-2 Univ., 54 ( FR). Equipe de Recherche pour l'Analyse Dynamique des Effets des Politiques Sociales (ADEPS)
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Emploi et Politiques Sociales

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14361 / INIST-CNRS - Insti...

Le demonstrateur de theoremes Manipulation et reutilisation des preuves

Abstract

Extracted data

Le demonstrateur de theoremes Manipulation et reutilisation des preuves

Abstract

Extracted data

Related items

Related items