CONSISTANCES LOCALES ET TRANSFORMATIONS SYMBOLIQUES DE CONTRAINTES D'INTERVALLES

CETTE THESE EST CONSACREE AU CALCUL DE SOLUTIONS NUMERIQUES (RESOLUTION) DE SYSTEMES DE FORMULES ARITHMETIQUES NON-LINEAIRES SUR LES REELS (CONTRAINTES), AU MOYEN DE CONTRAINTES D'INTERVALLES. CE TERME GENERIQUE DESIGNE UN ENSEMBLE DE METHODES DE RESOLUTION COUPLANT DES TECHNIQUES ISSUES DE L&#...

Fuld beskrivelse

Enregistré dans:
Bibliografiske detaljer
Hovedforfatter: Granvilliers, Laurent
Andre forfattere: Ferrand, Gérard, 19..-...., professeur d'informatique (Directeur de thèse)
Format: Thèse et Mémoire papier
Sprog:Français
Udgivet: [S.l.] : [s.n.] 1998.
Fag:
Kommentar: 1998ORLE2044
Autres localisations: Voir dans le Sudoc

Orléans - BU Sciences Technologies STAPS

Detaljer om beholdninger fra Orléans - BU Sciences Technologies STAPS
  Sted Klassifikationsnummer Type de prêt Status
Magasin TS 19-1998-44b Exclu du prêt A consulter sur place
Magasin TS 19-1998-44 Empruntable Tilgængelig