Theo : un systeme de developpement de preuves interactif

Conception et developpement d'un systeme d'implantation d'ateliers de production: PLOOT

Beziat, Philippe

January 1990

SIGLEINIST T 75768 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Parcours et apprentissage dans un reseau de processus communicants

Helary, Jean-Michel
Maddi, Aomar
Plouzeau, Noel
Raynal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

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

Le systeme d'information cooperatif ORIADOC

Reseau National d'Orientation et d'Acces aux Sources d'Information et de Documentation, 75 - Paris (France)
Mission Interministerielle de l'Information Scientifique et Technique (MIDIST), 75 - Paris (France)

January 1984

SIGLECNRS RP 179 (192) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Alas: un systeme d'analyse algebrique

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Un systeme interactif d'aide a la decision pour l'ordonnancement et le pilotage en temps reel d'atelier

Le Gall, Anne

January 1989

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

Systemes reactifs et programmation synchrone

Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

CNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La conception de scenarios interactifs

Sebillotte, Suzanne
Bisseret, Andre
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1986

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

Systeme de gestion de fichiers de base sur le hachage sequentiel binaire

Kouacou Gnrangbe, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Systemes de reecriture avec selecteur

Moreau, Philippe

January 1984

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

Apprentissage de proprietes semi-globales sur un systeme distribue

Lavallee, Yvan
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

Systeme interactif d'aide a la decision pour l'etude de la decentralisation de l'aide sociale a l'enfance

Dunat, Jean

January 1986

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

Le developpement d'applications interactives (interactivite et applications)

Bertrand, Olivier P
IBM Paris (FRANCE)

January 1979

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

Realisation d'un reseau interactif

Vialatte, M.C.
Mercier, J.J.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Clermont-Ferrand 2 Univ., 63 - Aubiere (France). Lab. d'Informatique

CNRS AR 12416 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Le systeme TEC'L de recherche d'informations technologiques

Oquidam, B.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Tec Systems Kate, 92 - Asnieres-sur-Seine (France)

January 1985

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

Pilotage d'un code modulaire d'elements finis par un systeme expert

Laug, Patrick
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1987

CNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Conception et developpement d'un systeme d'implantation d'ateliers de production: PLOOT

Beziat, Philippe

January 1990

SIGLEINIST T 75768 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Parcours et apprentissage dans un reseau de processus communicants

Helary, Jean-Michel
Maddi, Aomar
Plouzeau, Noel
Raynal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

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

Le systeme d'information cooperatif ORIADOC

Reseau National d'Orientation et d'Acces aux Sources d'Information et de Documentation, 75 - Paris (France)
Mission Interministerielle de l'Information Scientifique et Technique (MIDIST), 75 - Paris (France)

January 1984

SIGLECNRS RP 179 (192) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Alas: un systeme d'analyse algebrique

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Un systeme interactif d'aide a la decision pour l'ordonnancement et le pilotage en temps reel d'atelier

Le Gall, Anne

January 1989

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

Systemes reactifs et programmation synchrone

Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

CNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La conception de scenarios interactifs

Sebillotte, Suzanne
Bisseret, Andre
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1986

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

Systeme de gestion de fichiers de base sur le hachage sequentiel binaire

Kouacou Gnrangbe, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Systemes de reecriture avec selecteur

Moreau, Philippe

January 1984

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

Apprentissage de proprietes semi-globales sur un systeme distribue

Lavallee, Yvan
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

Systeme interactif d'aide a la decision pour l'etude de la decentralisation de l'aide sociale a l'enfance

Dunat, Jean

January 1986

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

Le developpement d'applications interactives (interactivite et applications)

Bertrand, Olivier P
IBM Paris (FRANCE)

January 1979

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

Realisation d'un reseau interactif

Vialatte, M.C.
Mercier, J.J.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Clermont-Ferrand 2 Univ., 63 - Aubiere (France). Lab. d'Informatique

CNRS AR 12416 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Le systeme TEC'L de recherche d'informations technologiques

Oquidam, B.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Tec Systems Kate, 92 - Asnieres-sur-Seine (France)

January 1985

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

Pilotage d'un code modulaire d'elements finis par un systeme expert

Laug, Patrick
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1987

CNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Conception et developpement d'un systeme d'implantation d'ateliers de production: PLOOT

Beziat, Philippe

January 1990

SIGLEINIST T 75768 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Parcours et apprentissage dans un reseau de processus communicants

Helary, Jean-Michel
Maddi, Aomar
Plouzeau, Noel
Raynal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

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

Le systeme d'information cooperatif ORIADOC

Reseau National d'Orientation et d'Acces aux Sources d'Information et de Documentation, 75 - Paris (France)
Mission Interministerielle de l'Information Scientifique et Technique (MIDIST), 75 - Paris (France)

January 1984

SIGLECNRS RP 179 (192) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Theo : un systeme de developpement de preuves interactif

Abstract

Extracted data

Theo : un systeme de developpement de preuves interactif

Abstract

Extracted data

Related items

Related items