Programmation logique par contraintes

Enregistré dans:
Détails bibliographiques
Auteur principal : Fages François (Auteur)
Format : Livre
Langue : français
Titre complet : Programmation logique par contraintes / François Fages,...
Publié : Paris : Ellipses , Impr. 1996
Description matérielle : 1 vol. (183 p.)
Sujets :
LEADER 01966cam a2200589 4500
001 PPN003906116
005 20160606013700.0
010 |a 2-7298-4613-1  |b br.  |d 120 F 
020 |a FR  |b 09633662 
021 |a FR  |b DL 96-27560 
035 |a sib0763755 
035 |a cor0029461 
035 |a urouen70789 
035 |a ocm36181212 
035 |a DYNIX_BUNAN_384523 
035 |a lm100572 
035 |a bua49938 
035 |a frBN021614603 
073 0 |a 9782729846138 
100 |a 19960801h19961996m y0frey0103 ba 
101 0 |a fre 
102 |a FR 
105 |a a az 001yy 
106 |a r 
200 1 |a Programmation logique par contraintes  |b Texte imprimé  |f François Fages,... 
210 |a Paris  |c Ellipses  |d Impr. 1996  |e 86-Ligugé  |g Impr. Aubin 
215 |a 1 vol. (183 p.)  |c ill., couv. ill. en coul  |d 26 cm 
300 |a La couv. porte en plus : "X École polytechnique" 
320 |a Bibliogr. p. [173]-175. Index 
345 |b 9782729846138 
606 |3 PPN04076561X  |a LANGAGE PROGRAMMATION  |2 fmesh 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
606 |3 PPN027241386  |a Programmation (mathématiques)  |2 rameau 
606 |3 PPN028949102  |a Programmation logique  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
606 |3 PPN033128804  |a Programmation par contraintes  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
675 |a 67  |v Éd. 1967 
676 |a 670 
680 |a QA76.642 
686 |a QA 76.6  |2 usnlm 
686 |a F.4  |2 acm 
700 1 |3 PPN03429502X  |a Fages  |b François  |4 070 
801 3 |a FR  |b Abes  |c 20080606  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b BN  |g AFNOR 
801 0 |a FR  |b SCD Le Mans  |g AFNOR 
915 |5 441092104:181238667  |a 1161274486  |b 1161274486 
919 |5 441092104:181238667  |a 1161274486 
930 |5 441092104:181238667  |b 441092104  |a 681.311 CON-FAG  |j u 
979 |a SCI 
998 |a 114344