|
|
|
|
LEADER |
01902cam a2200445 4500 |
001 |
PPN114286280 |
003 |
http://www.sudoc.fr/114286280 |
005 |
20240829055200.0 |
029 |
|
|
|a FR
|b 2005NANT2151
|
035 |
|
|
|a (OCoLC)493826409
|
100 |
|
|
|a 20070503d2005 k y0frey0103 ba
|
101 |
0 |
|
|a fre
|d fre
|d eng
|2 639-2
|
102 |
|
|
|a FR
|
105 |
|
|
|a ||||m |||||
|
106 |
|
|
|a r
|
181 |
|
|
|6 z01
|c txt
|2 rdacontent
|
181 |
|
1 |
|6 z01
|a i#
|b xxxe##
|
182 |
|
|
|6 z01
|c n
|2 rdamedia
|
182 |
|
1 |
|6 z01
|a n
|
200 |
1 |
|
|a Explications et programmation par contraintes avancée
|f Guillaume Rochart
|g Frédéric Benhamou, directeur de thèse
|
210 |
|
|
|a [S.l.]
|c [s.n.]
|d 2005
|
215 |
|
|
|a 1 vol. (160 p.)
|d 30 cm
|
316 |
|
|
|5 441092104:305628526
|a Titre temporairement indisponible à la communication
|
320 |
|
|
|a Bibliographie p. 149-155
|
328 |
|
|
|b Thèse doctorat
|c Informatique
|e Nantes
|d 2005
|
371 |
1 |
|
|a Publication autorisée par le jury
|
456 |
|
| |
|0 246961570
|t Explications et programmation par contraintes avancée
|f Guillaume Rochart
|d 2005
|c Grenoble
|n Atelier national de reproduction des thèses
|p Microfiches
|s [ Grenoble thèses]
|
606 |
|
|
|3 PPN033128804
|a Programmation par contraintes
|2 rameau
|
606 |
|
|
|3 PPN027844757
|a Analyse combinatoire énumérative
|2 rameau
|
608 |
|
|
|3 PPN027253139
|a Thèses et écrits académiques
|2 rameau
|
686 |
|
|
|a 004
|2 TEF
|
700 |
|
1 |
|3 PPN114285756
|a Rochart
|b Guillaume
|f 1979-...
|4 070
|
701 |
|
1 |
|3 PPN033059241
|a Benhamou
|b Frédéric
|f 1960-....
|4 727
|
711 |
0 |
2 |
|3 PPN026403447
|a Université de Nantes
|c 1962-2021
|4 295
|
711 |
0 |
2 |
|3 PPN068720513
|a École doctorale sciences et technologies de l'information et des matériaux
|c Nantes
|4 996
|
801 |
|
3 |
|a FR
|b Abes
|c 20220120
|g AFNOR
|
979 |
|
|
|a SCI
|
930 |
|
|
|5 441092104:305628526
|b 441092104
|j g
|
991 |
|
|
|5 441092104:305628526
|a Exemplaire modifié automatiquement le 18-07-2024 18:40
|
998 |
|
|
|a 496772
|