Theories equationnelles et de contraintes pour la demonstration automatique en logique multi-modale

Synthese logique sur reseaux programmables

Bouchet, Laurent
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Etudes theoriques et experimentale d'architecture solaire

Chauliaguet, Charles

January 1992

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

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

Theories intregrables en mecanique statistique

Lopes, Eliana

January 1991

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

Demonstration automatique dans les theories de Horn

Andrianarivelo, Nirina

January 1991

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

Extensions de theories de Lawvere

Mathieu, Monique

January 1991

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

Des mecanismes pour l'assistance aux utilisateurs dans un atelier de genie logiciel conduit par des modeles

Canals, Jerome

January 1992

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

Etude theorique et experimentale des pertes a la propagation guidee dans les empilements de couches minces

Cleva, Frederic

January 1992

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

Demonstration automatique dans le calcul des constructions

Dowek, Gilles

January 1991

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

Modelisation et etude mathematique d'un mouvement complexe

Tedjani, Ali

January 1991

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

Etude theorique et experimentale du comportement, de l'endommagement et de la rupture des assemblages colles

Hu, Geng Kai
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France)

January 1991

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

Modelisation et stretegies auto-organisatrices pour les ateliers de production modernes

Guillard, Stephane
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1992

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

Modeles dynamiques et commandes en boucle fermee d'un moteur pas a pas

Hamzaoui, Abdelaziz

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 82334 / INIST-CNRS - Inst...

Etude algebrique des multitableaux: apports de l'algebre tensorielle

Franc, Alain

January 1992

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

Synthese logique sur reseaux programmables

Bouchet, Laurent
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Etudes theoriques et experimentale d'architecture solaire

Chauliaguet, Charles

January 1992

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

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

Theories intregrables en mecanique statistique

Lopes, Eliana

January 1991

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

Demonstration automatique dans les theories de Horn

Andrianarivelo, Nirina

January 1991

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

Extensions de theories de Lawvere

Mathieu, Monique

January 1991

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

Des mecanismes pour l'assistance aux utilisateurs dans un atelier de genie logiciel conduit par des modeles

Canals, Jerome

January 1992

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

Etude theorique et experimentale des pertes a la propagation guidee dans les empilements de couches minces

Cleva, Frederic

January 1992

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

Demonstration automatique dans le calcul des constructions

Dowek, Gilles

January 1991

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

Modelisation et etude mathematique d'un mouvement complexe

Tedjani, Ali

January 1991

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

Etude theorique et experimentale du comportement, de l'endommagement et de la rupture des assemblages colles

Hu, Geng Kai
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France)

January 1991

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

Modelisation et stretegies auto-organisatrices pour les ateliers de production modernes

Guillard, Stephane
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1992

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

Modeles dynamiques et commandes en boucle fermee d'un moteur pas a pas

Hamzaoui, Abdelaziz

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 82334 / INIST-CNRS - Inst...

Etude algebrique des multitableaux: apports de l'algebre tensorielle

Franc, Alain

January 1992

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

Synthese logique sur reseaux programmables

Bouchet, Laurent
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Etudes theoriques et experimentale d'architecture solaire

Chauliaguet, Charles

January 1992

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

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

Theories equationnelles et de contraintes pour la demonstration automatique en logique multi-modale

Abstract

Extracted data

Theories equationnelles et de contraintes pour la demonstration automatique en logique multi-modale

Abstract

Extracted data

Related items

Related items