|
|
|
|
| LEADER |
01149nam a22003011 4500 |
| 001 |
PPN013249266 |
| 005 |
20200901055300.0 |
| 009 |
DYNIX_BUNAN_160854 |
| 010 |
|
1 |
|a 3-540-56899-9
|b Springer, Berlin
|
| 010 |
|
|
|a 2287004165
|b Springer, Paris
|
| 100 |
0 |
0 |
|a 19941213d1993 u0frey0103 ba
|
| 101 |
0 |
0 |
|a fre
|
| 102 |
0 |
0 |
|a FR
|
| 200 |
1 |
|
|a Complexité et décidabilité
|
| 210 |
|
|
|a Paris
|c Springer-Verlag
|d 1993
|
| 215 |
0 |
0 |
|a 200 p.
|d 25 cm
|
| 225 |
|
|
|a Mathématiques et applications
|v 12
|
| 606 |
0 |
0 |
|a Décidabilité (logique mathématique)
|
| 606 |
|
|
|a Complexité de calcul (informatique)
|
| 606 |
|
|
|a Turing, Machines de
|
| 700 |
|
1 |
|a Dehornoy
|b Patrick
|f 1952-2019
|
| 801 |
|
|
|a FR
|b DYNIX_BUNAN
|c 19990531
|g AFNOR
|
| 979 |
|
|
|a ECN
|
| 979 |
|
|
|a SCI
|
| 993 |
|
|
|a 1142011769
|b ECN
|c 681.3 DEH A03
|d ECN1
|e ECN3
|f I
|g 05-04-1996
|h 13-09-1996
|o 04-11-2002
|p 3
|s 11002
|t ECN1
|u ECN3
|v i
|
| 993 |
|
|
|a 1160604635
|b SCI
|c 510.66 DEH
|d EM
|e MAT12
|f I
|g 25-01-1994
|h 14-12-1994
|i 02-07-2003
|k 37.35
|o 14-03-2003
|p 27
|s 060463
|t EM
|u SCMA12
|v i
|
| 993 |
|
|
|a 0210076036
|b TEC
|c I275
|d EM
|e TECH
|f I
|g 29-05-2002
|h 29-05-2002
|k 37.35
|o 28-10-2003
|p 2
|s 007603
|t EM
|u TECH
|v i
|
| 998 |
|
|
|a 200906
|
Nantilus
