Une version effective du theoreme de Hurewicz

Le pletyshme

Carre, Christophe

January 1991

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

Qualite risque Demarche interne d'optimisation du facteur humain

Steiler, Dominique
Institut pour le Developpement du Conseil d'Entreprise (IDCE), 49 - Angers (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : DO 3125 / INIST-CNRS - Instit...

Une approche theorique et empirique des specificites de l'achat en JAT

Calvi, Richard
Centre National de la Recherche Scientifique (CNRS), 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion
Grenoble-2 Univ., 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion (CERAG)

January 1996

Available from INIST (FR), Document Supply Serviceunder shelf-number : DO 4756 / INIST-CNRS - Instit...

Autour d'un theoreme de Piatetski-Shapiro (Nombres premiers dans la suite partie entiere de n puissance c)

Rivat, Joel

January 1992

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

Ubiquite de la formule de Riemann-Hurwitz

Michel, Alexis
Jaulent

January 1992

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

Un theoreme de finitude

Badulescu, Alexandru Ioan
Poitiers Univ., 86 (France). Dept. de Mathematiques

January 2000

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22466, issue : a.2000 ...

Le demonstrateur de theoremes Manipulation et reutilisation des preuves

Drabik, Pascal
Bert, Didier
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 1989

Available at INIST (FR), Document Supply Service, under shelf-number : AR 15196 / 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...

Etude experimentale et theorique du decoupage

Maillard, Andre

January 1991

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

Lois de comportement en theorie cinetique discrete et application

Chauvat, Philippe

January 1991

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

Propriete de Poincare-Birkhoff-Witt dans les espaces et groupes quantiques differentiels

Berger, Roland

January 1992

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

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...

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 -...

Theorie des systemes lineaires dans les dioides

Gaubert, Stephane
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84382 / 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 -...

Le pletyshme

Carre, Christophe

January 1991

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

Qualite risque Demarche interne d'optimisation du facteur humain

Steiler, Dominique
Institut pour le Developpement du Conseil d'Entreprise (IDCE), 49 - Angers (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : DO 3125 / INIST-CNRS - Instit...

Une approche theorique et empirique des specificites de l'achat en JAT

Calvi, Richard
Centre National de la Recherche Scientifique (CNRS), 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion
Grenoble-2 Univ., 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion (CERAG)

January 1996

Available from INIST (FR), Document Supply Serviceunder shelf-number : DO 4756 / INIST-CNRS - Instit...

Autour d'un theoreme de Piatetski-Shapiro (Nombres premiers dans la suite partie entiere de n puissance c)

Rivat, Joel

January 1992

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

Ubiquite de la formule de Riemann-Hurwitz

Michel, Alexis
Jaulent

January 1992

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

Un theoreme de finitude

Badulescu, Alexandru Ioan
Poitiers Univ., 86 (France). Dept. de Mathematiques

January 2000

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22466, issue : a.2000 ...

Le demonstrateur de theoremes Manipulation et reutilisation des preuves

Drabik, Pascal
Bert, Didier
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 1989

Available at INIST (FR), Document Supply Service, under shelf-number : AR 15196 / 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...

Etude experimentale et theorique du decoupage

Maillard, Andre

January 1991

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

Lois de comportement en theorie cinetique discrete et application

Chauvat, Philippe

January 1991

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

Propriete de Poincare-Birkhoff-Witt dans les espaces et groupes quantiques differentiels

Berger, Roland

January 1992

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

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...

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 -...

Theorie des systemes lineaires dans les dioides

Gaubert, Stephane
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84382 / 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 -...

Le pletyshme

Carre, Christophe

January 1991

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

Qualite risque Demarche interne d'optimisation du facteur humain

Steiler, Dominique
Institut pour le Developpement du Conseil d'Entreprise (IDCE), 49 - Angers (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : DO 3125 / INIST-CNRS - Instit...

Une approche theorique et empirique des specificites de l'achat en JAT

Calvi, Richard
Centre National de la Recherche Scientifique (CNRS), 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion
Grenoble-2 Univ., 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion (CERAG)

January 1996

Available from INIST (FR), Document Supply Serviceunder shelf-number : DO 4756 / INIST-CNRS - Instit...

Une version effective du theoreme de Hurewicz

Abstract

Extracted data

Une version effective du theoreme de Hurewicz

Abstract

Extracted data

Related items

Related items