|
|
|
|
| LEADER |
01428cam a2200349 4500 |
| 001 |
PPN114286280 |
| 003 |
http://www.sudoc.fr/114286280 |
| 005 |
20240531154500.0 |
| 029 |
|
|
|a FR
|b 2005NANT2151
|
| 035 |
|
|
|a (OCoLC)493826409
|
| 100 |
|
|
|a 20070503d2005 k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|d fre
|d eng
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a y m |||||
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Explications et programmation par contraintes avancée
|b Texte imprimé
|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
|
| 310 |
|
|
|a Publication autorisée par le jury
|
| 320 |
|
|
|a Bibliographie p. 149-155
|
| 328 |
|
|
|b Thèse doctorat
|c Informatique
|e Nantes
|d 2005
|
| 606 |
|
|
|3 PPN033128804
|a Programmation par contraintes
|3 PPN027253139
|x Thèses et écrits académiques
|2 rameau
|
| 606 |
|
|
|3 PPN027844757
|a Analyse combinatoire énumérative
|3 PPN027253139
|x 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
|
| 702 |
|
1 |
|3 PPN033059241
|a Benhamou
|b Frédéric
|f 1960-....
|4 727
|
| 712 |
0 |
2 |
|3 PPN026403447
|a Université de Nantes
|c 1962-2021
|4 295
|
| 712 |
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 20171204
|g AFNOR
|
| 979 |
|
|
|a SCI
|
| 930 |
|
|
|5 441092104:305628526
|b 441092104
|j u
|
| 998 |
|
|
|a 496772
|
Nantilus
