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

SIGL : etude et realisation des outils d'edition d'une conception par machines abstraites

Ben Youssef Naouar, Abdelhamid

Publication date

January 1985

Abstract

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

Extracted data

Related items

Conception et realisation d'une machine multiprocesseur sure de fonctionnement

Muller, Gilles

January 1988

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

Les machines tournantes industrielles

Association Technique pour les Economies d'Energie, 94 - Arcueil (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

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

Machines a environnement pour la reduction symbolique et l'evaluation partielle

Cregut, Pierre

January 1991

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

SIGL : etude et realisation des outils de validation d'une conception par machines abstraites

Mulet, Nadine

January 1985

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

Etude et realisation de la machine virtuelle LILA adaptee a l'ecriture d'interpretes

Julien, Danielle

January 1985

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

Logique de conception appliquee a des elements de machine

Jeanblanc, Gerard
Ecole Normale Superieure des Arts et Metiers, 75 - Paris (France)

January 1990

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

Etude et realisation d'une machine de decoupe silicium par fil

Lauvray, H.
Marie, C.
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)
Photowatt International, 14 - Caen (France)

January 1985

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

La construction d'interfaces homme-machine

Coutaz, Joelle
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)

January 1986

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

Mesures en vue de diminuer le bruit des machines

Bresson, J.
Brusin, M.
Centre d'Etudes et de Recherches de l'Industrie du Beton Manufacture, 28 - Epernon (France)

January 1985

SIGLECNRS RS 4533 B / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude du logiciel d'une machine pour l'intelligence artificielle

Sansonnet, Jean-Paul
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Compagnie Generale d'Electricite (CGE), 91 - Marcoussis (France). Lab. de Marcoussis

January 1984

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

Graphisme technologique en automatisation integree de production "Projet Techno-X"

Bruel, Philippe
Mayeur, Laurent
Perrien, Herve
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Societe pour l'Innovation Informatique Industrielle de la Productique, 75 - Paris (France)
Telemecanique Electrique, 92 - Nanterre (France)
Institut Superieur des Materiaux et de la Construction Mecanique, 93 - Saint-Ouen (France). Lab. de Genie Automatique

January 1989

SIGLEINIST AR 13622 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Paillet, Jean-Luc
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1988

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

Proprietes mecaniques de gel de silice : precurseurs de verres

Baza, Souheil

January 1984

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

Prise en compte du mouvement relatif et de la saturation des materiaux pour la modelisation des machines a courant alternatif

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Gif-sur-Yvette (France). Lab. de Genie Electrique de Paris

January 1984

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

Etude et realisation d'un systeme d'aide a la programmation evoluee pour la commande directe d'une machine outil

Renauld, Philippe

January 1984

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

Conception et realisation d'une machine multiprocesseur sure de fonctionnement

Muller, Gilles

January 1988

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

Les machines tournantes industrielles

Association Technique pour les Economies d'Energie, 94 - Arcueil (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

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

Machines a environnement pour la reduction symbolique et l'evaluation partielle

Cregut, Pierre

January 1991

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

SIGL : etude et realisation des outils de validation d'une conception par machines abstraites

Mulet, Nadine

January 1985

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

Etude et realisation de la machine virtuelle LILA adaptee a l'ecriture d'interpretes

Julien, Danielle

January 1985

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

Logique de conception appliquee a des elements de machine

Jeanblanc, Gerard
Ecole Normale Superieure des Arts et Metiers, 75 - Paris (France)

January 1990

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

Etude et realisation d'une machine de decoupe silicium par fil

Lauvray, H.
Marie, C.
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)
Photowatt International, 14 - Caen (France)

January 1985

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

La construction d'interfaces homme-machine

Coutaz, Joelle
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)

January 1986

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

Mesures en vue de diminuer le bruit des machines

Bresson, J.
Brusin, M.
Centre d'Etudes et de Recherches de l'Industrie du Beton Manufacture, 28 - Epernon (France)

January 1985

SIGLECNRS RS 4533 B / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude du logiciel d'une machine pour l'intelligence artificielle

Sansonnet, Jean-Paul
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Compagnie Generale d'Electricite (CGE), 91 - Marcoussis (France). Lab. de Marcoussis

January 1984

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

Graphisme technologique en automatisation integree de production "Projet Techno-X"

Bruel, Philippe
Mayeur, Laurent
Perrien, Herve
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Societe pour l'Innovation Informatique Industrielle de la Productique, 75 - Paris (France)
Telemecanique Electrique, 92 - Nanterre (France)
Institut Superieur des Materiaux et de la Construction Mecanique, 93 - Saint-Ouen (France). Lab. de Genie Automatique

January 1989

SIGLEINIST AR 13622 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Paillet, Jean-Luc
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1988

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

Proprietes mecaniques de gel de silice : precurseurs de verres

Baza, Souheil

January 1984

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

Prise en compte du mouvement relatif et de la saturation des materiaux pour la modelisation des machines a courant alternatif

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Gif-sur-Yvette (France). Lab. de Genie Electrique de Paris

January 1984

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

Etude et realisation d'un systeme d'aide a la programmation evoluee pour la commande directe d'une machine outil

Renauld, Philippe

January 1984

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

Conception et realisation d'une machine multiprocesseur sure de fonctionnement

Muller, Gilles

January 1988

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

Les machines tournantes industrielles

Association Technique pour les Economies d'Energie, 94 - Arcueil (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

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

Machines a environnement pour la reduction symbolique et l'evaluation partielle

Cregut, Pierre

January 1991

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