|
|
|
|
| LEADER |
00668nam a22001457a 4500 |
| 001 |
898739 |
| 008 |
u2032 xxe ||| |||| 00| 0 und d |
| 022 |
|
|
|a 1557945X
|
| 041 |
0 |
|
|a und
|
| 240 |
1 |
0 |
|a ACM Transactions on Computational Logic
|
| 245 |
0 |
0 |
|a ACM Transactions on Computational Logic.
|
| 260 |
|
|
|b ACM / Association for Computing Machinery.
|
| 856 |
4 |
|
|u https://ezproxy.univ-orleans.fr/login?url=https://dl.acm.org/loi/tocl
|z Accès Université d'Orléans
|
| 866 |
|
|
|a Revue numérique .- État de collection : 2000 à nos jours
|
| 997 |
|
|
|0 898739
|1 Revue numérique
|a Ressource numérique
|b INSA
|b ENSA
|c 0/Bibliothèque numérique/
|c 1/Bibliothèque numérique/Autre ressource numérique/
|