Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Produits et decompositions d'automates : applications a la theorie des langages

Weil, Pascal

January 1985

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

Contribution a l'automatisation des installations de concassage-criblage : modelisation des appareils, simulation statique

Monteau, Jean-Yves

January 1987

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

Raisonnement automatique en logique modale et algorithmes d'unification

Herzig, Andreas

January 1989

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

Contribution a l'automatisation du processus de repoussage

Oualia, Zeineddine
Ecole Normale Superieure des Arts et Metiers, 75 - Paris (France)

January 1987

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

Contribution a la surete des automatismes sequentiels : modelisation, identification et test en ligne de la partie operative

Hachemani, Rabah

January 1987

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

Contribution a l'etude de dispositifs d'assainissement autonome

Derangere-Fernandez, Dominique

January 1988

CNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Une contribution au genie automatique : la specification executable des machines et systemes automatises de production

Tixador, Jean Marc

January 1989

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

Automatisation de l'analyse mecanique des mecanismes

Yang, Huanqing
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1989

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

Contribution a la conception d'automates programmables par reseaux de Petri

Bigou, Jean-Michel

January 1984

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

Etude et realisation d'un systeme d'analyse automatique du sommeil

Ziani, Abdellatif

January 1989

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

Contribution a l'etude d'une methode de conception des automatismes des systemes de conduite des Processus Industriels

Belhimeur, Abdelmajid

January 1989

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

Une contribution au Genie Automatique: le prototypage des machines et systemes automatises de production

Panetto, Herve

January 1991

INIST T 74949 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Contribution a l'etude du contacteur statique autoprotege et de sa stragegie de commande

Clerc, Guy
Ecole Centrale Lyonnaise, 69 - Ecully (France)

January 1989

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

Contribution a l'automatisation de la procedure de preparation et d'etude en ultra-vide de couches minces d'alliages

Delpire, Norbert

January 1986

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

Automates avec cout et reconnaissabilite dans les monoiedes libres commutatifs

Gohon, Philippe

January 1986

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

Produits et decompositions d'automates : applications a la theorie des langages

Weil, Pascal

January 1985

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

Contribution a l'automatisation des installations de concassage-criblage : modelisation des appareils, simulation statique

Monteau, Jean-Yves

January 1987

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

Raisonnement automatique en logique modale et algorithmes d'unification

Herzig, Andreas

January 1989

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

Contribution a l'automatisation du processus de repoussage

Oualia, Zeineddine
Ecole Normale Superieure des Arts et Metiers, 75 - Paris (France)

January 1987

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

Contribution a la surete des automatismes sequentiels : modelisation, identification et test en ligne de la partie operative

Hachemani, Rabah

January 1987

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

Contribution a l'etude de dispositifs d'assainissement autonome

Derangere-Fernandez, Dominique

January 1988

CNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Une contribution au genie automatique : la specification executable des machines et systemes automatises de production

Tixador, Jean Marc

January 1989

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

Automatisation de l'analyse mecanique des mecanismes

Yang, Huanqing
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1989

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

Contribution a la conception d'automates programmables par reseaux de Petri

Bigou, Jean-Michel

January 1984

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

Etude et realisation d'un systeme d'analyse automatique du sommeil

Ziani, Abdellatif

January 1989

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

Contribution a l'etude d'une methode de conception des automatismes des systemes de conduite des Processus Industriels

Belhimeur, Abdelmajid

January 1989

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

Une contribution au Genie Automatique: le prototypage des machines et systemes automatises de production

Panetto, Herve

January 1991

INIST T 74949 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Contribution a l'etude du contacteur statique autoprotege et de sa stragegie de commande

Clerc, Guy
Ecole Centrale Lyonnaise, 69 - Ecully (France)

January 1989

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

Contribution a l'automatisation de la procedure de preparation et d'etude en ultra-vide de couches minces d'alliages

Delpire, Norbert

January 1986

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

Automates avec cout et reconnaissabilite dans les monoiedes libres commutatifs

Gohon, Philippe

January 1986

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

Produits et decompositions d'automates : applications a la theorie des langages

Weil, Pascal

January 1985

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

Contribution a l'automatisation des installations de concassage-criblage : modelisation des appareils, simulation statique

Monteau, Jean-Yves

January 1987

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

Raisonnement automatique en logique modale et algorithmes d'unification

Herzig, Andreas

January 1989

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

Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Abstract

Extracted data

Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Abstract

Extracted data

Related items

Related items