|
|
|
|
| LEADER |
02472cam a2200733 4500 |
| 001 |
PPN00242794X |
| 005 |
20230927055500.0 |
| 010 |
|
|
|a 2-7296-0372-7
|b br.
|d 150 F
|
| 020 |
|
|
|a FR
|b 09201978
|
| 021 |
|
|
|a FR
|b DL 91-31541
|
| 035 |
|
|
|a 061238805
|
| 035 |
|
|
|a Evry2572
|
| 035 |
|
|
|a ubs27133
|
| 035 |
|
|
|a sib0334723
|
| 035 |
|
|
|a DYNIX_BUFDF_115713
|
| 035 |
|
|
|a urouen70598
|
| 035 |
|
|
|a lm76997
|
| 035 |
|
|
|a DYNIX_BUNAN_257191
|
| 035 |
|
|
|a ocm25298102
|
| 035 |
|
|
|a bua119975
|
| 035 |
|
|
|a frBN013529886
|
| 073 |
|
0 |
|a 9782729603724
|
| 100 |
|
|
|a 19911118d1991 m y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a a zz 00|z|
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Introduction à la calculabilité
|b Texte imprimé
|f Pierre Wolper,...
|
| 210 |
|
|
|a Paris
|c InterÉd
|d 1991
|e Impr. en Belgique
|
| 215 |
|
|
|a 1 vol. (268 p.)
|c ill., couv. ill. en cou.
|d 23 cm
|
| 225 |
0 |
|
|a IIA
|
| 320 |
|
|
|a Bibliogr. p. 261-262. Index
|
| 345 |
|
|
|b 9782729603724
|
| 410 |
|
| |
|0 039495663
|t I.I.A. Informatique intelligence artificielle
|x 0297-5416
|
| 606 |
|
|
|3 PPN027868664
|a Décidabilité (logique mathématique)
|2 rameau
|
| 606 |
|
|
|3 PPN028635698
|a Calcul formel
|2 rameau
|
| 606 |
|
|
|3 PPN027682005
|a Langages formels
|2 rameau
|
| 606 |
|
|
|3 PPN027551261
|a Complexité de calcul (informatique)
|2 rameau
|
| 606 |
|
|
|3 PPN027814688
|a Fonctions récursives
|2 rameau
|
| 606 |
|
|
|3 PPN02733015X
|a Théorie des automates mathématiques
|2 rameau
|
| 606 |
|
|
|3 PPN027844536
|a Fonctions calculables
|2 rameau
|
| 675 |
|
|
|a 51
|v Éd. 1967
|
| 676 |
|
|
|a 510
|
| 680 |
|
|
|a QA 267
|
| 700 |
|
1 |
|3 PPN030955769
|a Wolper
|b Pierre
|4 070
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20070130
|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 |
|
1 |
|a FR
|b UBS
|c 20000411
|g AFNOR
|
| 915 |
|
|
|5 441092104:180239821
|a 1160681742
|b 1160681742
|
| 915 |
|
|
|5 441092104:180239880
|a 1160937177
|b 1160937177
|
| 915 |
|
|
|5 441092104:180239899
|a 1160937160
|b 1160937160
|
| 919 |
|
|
|5 441092104:180239821
|a 1160681742
|
| 919 |
|
|
|5 441092104:18023983X
|a 1160681735
|
| 919 |
|
|
|5 441092104:180239848
|a 1160681728
|
| 919 |
|
|
|5 441092104:180239899
|a 1160937160
|
| 919 |
|
|
|5 441842101:180239902
|a 0100008686
|
| 930 |
|
|
|5 441092104:180239880
|b 441092104
|a 681.311 WOL
|j u
|
| 930 |
|
|
|5 441092104:180239899
|b 441092104
|a 681.311 WOL
|j u
|
| 930 |
|
|
|5 441092105:300246625
|b 441092105
|j u
|
| 979 |
|
|
|a SCI
|
| 998 |
|
|
|a 157146
|
Nantilus
