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

Raisonnement sur les contraintes en programmation en logique

Graf, Thomas

Publication date

January 1989

Abstract

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

Extracted data

Related items

Arbres et processus de branchement

Chauvin Almayrac, Brigitte

January 1988

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

Conception et realisation d'un couplage antre les langages de programmation en logique et les bases de donnees heterogenes

Maakeb, Abd-El-Kader

January 1986

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

Encadrement presque sur des statistiques d'ordre

Brito, Margarida

January 1987

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

La logique dans la programmation : synthese logique de programmes et langages de programmation logique

Fronhofer, Bertram
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Calcul relationnel et programmation en logique

Legrand, Remi

January 1987

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

Etude algebrique de la logique temporelle

Cohen Chesnot, Joeelle

January 1989

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

Raisonnement sur les contraintes. Application en ordonnancement

Ziebelin, Danielle

January 1990

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

Le conducteur routier, gestionnaire de contraintes

Germain, Claude
Conservatoire National des Arts et Metiers (CNAM), 75 - Paris (France)

January 1988

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

Systemes frustres

Azaria, Patrick

January 1988

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

Un systeme logique pour le traitement de discours

Henocque, Laurent

January 1989

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

Algebres de Boole mesurees

Ben Abderrazik, Khalid

January 1988

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

Programmation en logique et compilation de protocoles : le simulateur Veda

Monzin, Jean-Francois

January 1988

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

Mise en oeuvre d'operateurs flous dans une base de donnees

Galibourg, Marc

January 1988

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

Commande L/A : applications

Lakrori, Maqo
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Etude des systemes lineaires mal conditionnes

Tedesco, Thierry
Institut National Polytechnique, 31 - Toulouse (France)

January 1986

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

Arbres et processus de branchement

Chauvin Almayrac, Brigitte

January 1988

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

Conception et realisation d'un couplage antre les langages de programmation en logique et les bases de donnees heterogenes

Maakeb, Abd-El-Kader

January 1986

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

Encadrement presque sur des statistiques d'ordre

Brito, Margarida

January 1987

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

La logique dans la programmation : synthese logique de programmes et langages de programmation logique

Fronhofer, Bertram
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Calcul relationnel et programmation en logique

Legrand, Remi

January 1987

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

Etude algebrique de la logique temporelle

Cohen Chesnot, Joeelle

January 1989

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

Raisonnement sur les contraintes. Application en ordonnancement

Ziebelin, Danielle

January 1990

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

Le conducteur routier, gestionnaire de contraintes

Germain, Claude
Conservatoire National des Arts et Metiers (CNAM), 75 - Paris (France)

January 1988

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

Systemes frustres

Azaria, Patrick

January 1988

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

Un systeme logique pour le traitement de discours

Henocque, Laurent

January 1989

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

Algebres de Boole mesurees

Ben Abderrazik, Khalid

January 1988

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

Programmation en logique et compilation de protocoles : le simulateur Veda

Monzin, Jean-Francois

January 1988

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

Mise en oeuvre d'operateurs flous dans une base de donnees

Galibourg, Marc

January 1988

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

Commande L/A : applications

Lakrori, Maqo
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Etude des systemes lineaires mal conditionnes

Tedesco, Thierry
Institut National Polytechnique, 31 - Toulouse (France)

January 1986

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

Arbres et processus de branchement

Chauvin Almayrac, Brigitte

January 1988

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

Conception et realisation d'un couplage antre les langages de programmation en logique et les bases de donnees heterogenes

Maakeb, Abd-El-Kader

January 1986

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

Encadrement presque sur des statistiques d'ordre

Brito, Margarida

January 1987

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