Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

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

Weil, Pascal

Publication date

January 1985

Abstract

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

Extracted data

Related items

Etude de la synthese automatique de programme a partir d'une specification complete

Potet, Marie-Laure
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

CNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

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

Automates programmables industriels et securite. Specifications des besoins et applications a l'EDF

Chemali, A.M.
Piat, G.
Electricite de France, 92 - Clamart (France). Service Materiel Electrique

January 1984

CNRS RP 270 (157) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

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

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

Saoudi, Ahmed

January 1987

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

Analyse et synthese des systemes d'assemblage automatises

Olivier, Pascal

January 1986

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

A propos de quelques applications de la classification automatique

Tricot, Michel

January 1986

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

Classification automatique en analyse relationnelle : la quadri-decomposition et ses applications

Bedecarrax, Chantal

January 1990

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

Choix automatiques entre transformations de suites

Fdil, Adelhak

January 1984

SIGLET 55000 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Les automatismes dans le calcul algebrique en classe de seconde

Al Lakkis, Ghazi

January 1985

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

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

Construction automatisee des compilateurs: le systeme Cigale

Fedelle, Carine

January 1991

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

Automatisation en sucrerie. Proposition d'une methode de conduite et de gestion d'un atelier de cristallisation

Chraibi, HASSANE
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France)

January 1992

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

Systeme d'automatisation de l'automation integree de production

Dufourt, Daniel
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Economie des Changements Technologiques

January 1987

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

Alimentation automatique d'une base de connaissances à partir de textes en langue naturelle

AL HAJ HASAN, Issam
SCHNEIDER, Michel

January 2008

Dans ce travail nous nous sommes intéressés à l'alimentation automatique d'une base de connaissances...

Etude de la synthese automatique de programme a partir d'une specification complete

Potet, Marie-Laure
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

CNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

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

Automates programmables industriels et securite. Specifications des besoins et applications a l'EDF

Chemali, A.M.
Piat, G.
Electricite de France, 92 - Clamart (France). Service Materiel Electrique

January 1984

CNRS RP 270 (157) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

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

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

Saoudi, Ahmed

January 1987

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

Analyse et synthese des systemes d'assemblage automatises

Olivier, Pascal

January 1986

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

A propos de quelques applications de la classification automatique

Tricot, Michel

January 1986

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

Classification automatique en analyse relationnelle : la quadri-decomposition et ses applications

Bedecarrax, Chantal

January 1990

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

Choix automatiques entre transformations de suites

Fdil, Adelhak

January 1984

SIGLET 55000 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Les automatismes dans le calcul algebrique en classe de seconde

Al Lakkis, Ghazi

January 1985

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

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

Construction automatisee des compilateurs: le systeme Cigale

Fedelle, Carine

January 1991

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

Automatisation en sucrerie. Proposition d'une methode de conduite et de gestion d'un atelier de cristallisation

Chraibi, HASSANE
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France)

January 1992

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

Systeme d'automatisation de l'automation integree de production

Dufourt, Daniel
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Economie des Changements Technologiques

January 1987

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

Alimentation automatique d'une base de connaissances à partir de textes en langue naturelle

AL HAJ HASAN, Issam
SCHNEIDER, Michel

January 2008

Dans ce travail nous nous sommes intéressés à l'alimentation automatique d'une base de connaissances...

Etude de la synthese automatique de programme a partir d'une specification complete

Potet, Marie-Laure
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

CNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

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

Automates programmables industriels et securite. Specifications des besoins et applications a l'EDF

Chemali, A.M.
Piat, G.
Electricite de France, 92 - Clamart (France). Service Materiel Electrique

January 1984

CNRS RP 270 (157) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc