Deduction automatique dans des theories associatives-commutatives

Une theorie de l'autonomie pour la gestion ?

Alberteau, Sylvain
Montpellier-2 Univ., 34 (France). Centre de Recherche en Gestion des Organisations (CREGO)

January 1995

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

Preuve automatique par par modulation, reecriture et induction

Bouhoula, Adel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11629 ...

Methodologie de specification des systemes automatises

Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
TNI Industries, 29 - Brest (France)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Centre de Recherche en Informatique de Nancy
Regie Nationale des Usines Renault, 92 - Boulogne-Billancourt (France)

January 1992

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

Outils pour la deduction automatique dans les theories associative-commutatives

Domenjoud, Eric

January 1991

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

Automated deduction with associative comutative operators

Russinowitch, Michael
Vigneron, Laurent
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

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

Automated deduction with associative commutative operators

Vigneron, Laurent
Rusinowitch, Michael
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

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

Debart Clerin, Francoise

January 1992

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

Methode deductive pour les risques professionnels : systeme multi-agents

Mouaddib, Abdel-Illah
Martin, Jean-Marie
Robaux, Paul
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13423 / 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 -...

Asymptotique automatique et fonctions generatrices

Salvy, Bruno
Ecole Polytechnique, 91 - Palaiseau (France)

January 1991

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

Calculs associatifs commutatifs, etude et realisation du systeme UNIFAC

Adi, Mohamed

January 1991

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

Theories intregrables en mecanique statistique

Lopes, Eliana

January 1991

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

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

Une theorie de l'autonomie pour la gestion ?

Alberteau, Sylvain
Montpellier-2 Univ., 34 (France). Centre de Recherche en Gestion des Organisations (CREGO)

January 1995

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

Preuve automatique par par modulation, reecriture et induction

Bouhoula, Adel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11629 ...

Methodologie de specification des systemes automatises

Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
TNI Industries, 29 - Brest (France)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Centre de Recherche en Informatique de Nancy
Regie Nationale des Usines Renault, 92 - Boulogne-Billancourt (France)

January 1992

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

Outils pour la deduction automatique dans les theories associative-commutatives

Domenjoud, Eric

January 1991

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

Automated deduction with associative comutative operators

Russinowitch, Michael
Vigneron, Laurent
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

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

Automated deduction with associative commutative operators

Vigneron, Laurent
Rusinowitch, Michael
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

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

Debart Clerin, Francoise

January 1992

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

Methode deductive pour les risques professionnels : systeme multi-agents

Mouaddib, Abdel-Illah
Martin, Jean-Marie
Robaux, Paul
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13423 / 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 -...

Asymptotique automatique et fonctions generatrices

Salvy, Bruno
Ecole Polytechnique, 91 - Palaiseau (France)

January 1991

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

Calculs associatifs commutatifs, etude et realisation du systeme UNIFAC

Adi, Mohamed

January 1991

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

Theories intregrables en mecanique statistique

Lopes, Eliana

January 1991

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

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

Une theorie de l'autonomie pour la gestion ?

Alberteau, Sylvain
Montpellier-2 Univ., 34 (France). Centre de Recherche en Gestion des Organisations (CREGO)

January 1995

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

Preuve automatique par par modulation, reecriture et induction

Bouhoula, Adel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11629 ...

Methodologie de specification des systemes automatises

Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
TNI Industries, 29 - Brest (France)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Centre de Recherche en Informatique de Nancy
Regie Nationale des Usines Renault, 92 - Boulogne-Billancourt (France)

January 1992

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

Deduction automatique dans des theories associatives-commutatives

Abstract

Extracted data

Deduction automatique dans des theories associatives-commutatives

Abstract

Extracted data

Related items

Related items