|
|
|
|
| LEADER |
00806nam a22002531 4500 |
| 001 |
PPN017250331 |
| 005 |
20181031133100.0 |
| 009 |
DYNIX_BUNAN_238539 |
| 010 |
|
1 |
|a 3-540-94129-0
|b Springer, Berlin
|
| 100 |
0 |
0 |
|a 19960604d1993 u0frey0103 ba
|
| 101 |
0 |
0 |
|a eng
|
| 102 |
0 |
0 |
|a US
|
| 200 |
1 |
|
|a Logic for applications
|
| 210 |
|
|
|a New York
|c Springer-Verlag
|d 1993
|
| 215 |
0 |
0 |
|a XVII-365 p.
|d 24 cm
|
| 225 |
|
|
|a Texts and monographs in computer science
|
| 606 |
0 |
0 |
|a Programmation logique
|
| 606 |
|
|
|a Logique mathématique
|
| 700 |
|
1 |
|a Nerode
|b Anil
|
| 701 |
0 |
0 |
|a Shore
|b Richard A.
|f 1946-
|
| 801 |
|
|
|a FR
|b DYNIX_BUNAN
|c 19980921
|g AFNOR
|
| 979 |
|
|
|a SCI
|
| 993 |
|
|
|a 1160784528
|b SCI
|c 510.6 NER
|d EM
|e MAT12
|f I
|g 10-04-1996
|h 04-06-1996
|i 02-07-2003
|k 40.25
|o 09-11-1999
|p 2
|s 078452
|t EM
|u SCMA12
|v i
|
| 998 |
|
|
|a 188973
|
Nantilus
