Un systeme prolog parallele pour machines a memoire distribuee

Machine base de donnees PROLOG

Berger Sabbatel, Gilles
Nguyen, Gia Toan
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Systeme de conception automatique de gammes d'usinage pour les industries manufacturieres

Brissaud, Daniel

January 1992

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

Un systeme multi-experts pour la recherche documentaire

Mekaouche, Abdelouahab

January 1991

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

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

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

Parallelisation d'un systeme de regles de decodage acoustico-phonetique ecrit en Prolog

Herve, Therese

January 1992

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

Un systeme declaratif de types pour Prolog

Nguyen Phuong, Lan
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Definition et evaluation d'une machine abstraite parallele pour un modele ou parallele multisequentiel de PROLOG

Bourzoufi, Abd Elhafid

January 1992

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

Mecanismes d'acces aux bases de donnees Prolog dans le projet OPALE

Berger Sabbatel, Gilles
Dang, Weidong
Ianeselli, Jean-Christophe
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Systemes de production et genie des procedes, mecanique

Taine, J.
Scutaru, D.
Meunier, S.
Rosemann, L.
Hartmann, J.M.
Perrin, M.Y.
Langlois, S.
Esposito, E.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France). Lab. d'Energetique Moleculaire et Macroscopique, Combustion
Societe Nationale d'Etude et de Construction de Moteurs d'Aviation, 91 - Corbeil (France)
Centre National de la Recherche Scientifique (CNRS), 92 - Chatenay-Malabry (France). Lab. d'Energetique Moleculaire et Macroscopique, Combustion

January 1991

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

Langages explicites a parallelisme de donnees

Marquet, Philippe

January 1992

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

Implantation d'algorithmes sur machines paralleles

Sanchez, Jesus
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France). Dept. Signal

January 1993

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

Reseaux de Petri et parallelisme

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

January 1989

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

Systemes de reecriture et langages de mots de figure

Slowinski, Karine

January 1992

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

PDS: un generateur de systemes de developpement pour machines paralleles

Eudes, Jacques
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

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

Machine base de donnees PROLOG

Berger Sabbatel, Gilles
Nguyen, Gia Toan
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Systeme de conception automatique de gammes d'usinage pour les industries manufacturieres

Brissaud, Daniel

January 1992

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

Un systeme multi-experts pour la recherche documentaire

Mekaouche, Abdelouahab

January 1991

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

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

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

Parallelisation d'un systeme de regles de decodage acoustico-phonetique ecrit en Prolog

Herve, Therese

January 1992

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

Un systeme declaratif de types pour Prolog

Nguyen Phuong, Lan
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Definition et evaluation d'une machine abstraite parallele pour un modele ou parallele multisequentiel de PROLOG

Bourzoufi, Abd Elhafid

January 1992

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

Mecanismes d'acces aux bases de donnees Prolog dans le projet OPALE

Berger Sabbatel, Gilles
Dang, Weidong
Ianeselli, Jean-Christophe
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Systemes de production et genie des procedes, mecanique

Taine, J.
Scutaru, D.
Meunier, S.
Rosemann, L.
Hartmann, J.M.
Perrin, M.Y.
Langlois, S.
Esposito, E.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France). Lab. d'Energetique Moleculaire et Macroscopique, Combustion
Societe Nationale d'Etude et de Construction de Moteurs d'Aviation, 91 - Corbeil (France)
Centre National de la Recherche Scientifique (CNRS), 92 - Chatenay-Malabry (France). Lab. d'Energetique Moleculaire et Macroscopique, Combustion

January 1991

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

Langages explicites a parallelisme de donnees

Marquet, Philippe

January 1992

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

Implantation d'algorithmes sur machines paralleles

Sanchez, Jesus
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France). Dept. Signal

January 1993

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

Reseaux de Petri et parallelisme

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

January 1989

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

Systemes de reecriture et langages de mots de figure

Slowinski, Karine

January 1992

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

PDS: un generateur de systemes de developpement pour machines paralleles

Eudes, Jacques
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

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

Machine base de donnees PROLOG

Berger Sabbatel, Gilles
Nguyen, Gia Toan
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Systeme de conception automatique de gammes d'usinage pour les industries manufacturieres

Brissaud, Daniel

January 1992

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

Un systeme multi-experts pour la recherche documentaire

Mekaouche, Abdelouahab

January 1991

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

Un systeme prolog parallele pour machines a memoire distribuee

Abstract

Extracted data

Un systeme prolog parallele pour machines a memoire distribuee

Abstract

Extracted data

Related items

Related items