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

Construction et verification de figures geometriques dans le systeme Mentoniezh

Nicolas, Pierrick

Publication date

January 1989

Abstract

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

Extracted data

Related items

Verification de reseaux d'automates finis par equivalences observationnelles : le systeme AUTO

Vergamini, Didier

January 1987

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

Determination, guidee par les connaissances, d'une loi de pilotage pour un lanceur spatial : analyse de ces connaissances et construction d'un systeme expert

Misiti, Yves

January 1986

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

Determination de l'etat de contrainte geostatique par l'etude de la microfissuration des roches

Hamamdjian-Trentesaux, Christine
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France)

January 1989

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

Constructions de places reelles et geometrie semi-algebrique

Jadda, Zoubida

January 1986

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

Construction geometrique de solides et accelerations des algorithmes de lancer de rayons

Excoffier, Thierry

January 1988

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

Etude et realisation d'un processeur rapide de transformations geometriques d'images numeriques

Gasti, Wahida

January 1986

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

Observateurs d'etat courant d'un systeme a parametres repartis de type parabolique

Bennis, Najib

January 1986

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

Geometrie et hauteurs dans les groupes algebriques

Hindry, Marc

January 1987

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

Systeme d'aide a la conception et a la maintenance de bases de donnees cartographiques

Le Gleau, Annick

January 1987

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

Approche geologique et mecanique des decollements dans la croute superieure

Ballard, Jean-Francois

January 1989

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

Reconnaissance automatique des formes appliquee a la geologie structurale

Yu, Zheng

January 1987

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

Un systeme souple pour identifier des objets geometriques plans decrits par un operateur humain

Jaulent, Marie-Christine
Institut National Polytechnique, 31 - Toulouse (France)

January 1986

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

Les operateurs geometriques : conception et realisation

Hameurlain, Abdelkader

January 1984

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

Methodes de geometrie differentielle dans les modeles statistiques

Elabdi, Fouad

January 1988

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

Modelisation geometrique d'objets en environnement robotique

Givert, Didier

January 1988

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

Verification de reseaux d'automates finis par equivalences observationnelles : le systeme AUTO

Vergamini, Didier

January 1987

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

Determination, guidee par les connaissances, d'une loi de pilotage pour un lanceur spatial : analyse de ces connaissances et construction d'un systeme expert

Misiti, Yves

January 1986

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

Determination de l'etat de contrainte geostatique par l'etude de la microfissuration des roches

Hamamdjian-Trentesaux, Christine
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France)

January 1989

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

Constructions de places reelles et geometrie semi-algebrique

Jadda, Zoubida

January 1986

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

Construction geometrique de solides et accelerations des algorithmes de lancer de rayons

Excoffier, Thierry

January 1988

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

Etude et realisation d'un processeur rapide de transformations geometriques d'images numeriques

Gasti, Wahida

January 1986

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

Observateurs d'etat courant d'un systeme a parametres repartis de type parabolique

Bennis, Najib

January 1986

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

Geometrie et hauteurs dans les groupes algebriques

Hindry, Marc

January 1987

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

Systeme d'aide a la conception et a la maintenance de bases de donnees cartographiques

Le Gleau, Annick

January 1987

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

Approche geologique et mecanique des decollements dans la croute superieure

Ballard, Jean-Francois

January 1989

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

Reconnaissance automatique des formes appliquee a la geologie structurale

Yu, Zheng

January 1987

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

Un systeme souple pour identifier des objets geometriques plans decrits par un operateur humain

Jaulent, Marie-Christine
Institut National Polytechnique, 31 - Toulouse (France)

January 1986

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

Les operateurs geometriques : conception et realisation

Hameurlain, Abdelkader

January 1984

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

Methodes de geometrie differentielle dans les modeles statistiques

Elabdi, Fouad

January 1988

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

Modelisation geometrique d'objets en environnement robotique

Givert, Didier

January 1988

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

Verification de reseaux d'automates finis par equivalences observationnelles : le systeme AUTO

Vergamini, Didier

January 1987

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

Determination, guidee par les connaissances, d'une loi de pilotage pour un lanceur spatial : analyse de ces connaissances et construction d'un systeme expert

Misiti, Yves

January 1986

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

Determination de l'etat de contrainte geostatique par l'etude de la microfissuration des roches

Hamamdjian-Trentesaux, Christine
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France)

January 1989

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