Journal of logic and computation.
Enregistré dans:
| Format: | Revue numérique |
|---|---|
| Sprog: | Anglais |
| Udgivet: |
Oxford :
Oxford University Press
1990-.
|
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur (OUP) Accès sur la plateforme ISTEX (Corpus OUP) Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Notice mise à jour d'après la consultation du 2014-06-03 Titre provenant de l'écran-titre Articles mis en ligne par Oxford University Press Editor-in-Chief (2015) : D M Gabbay Editor-ln-Chlef (1990) : D. M. Gabbay, Imperial College of Science, London OUP (Licence nationale) The Keepers Registry Type of computer file: Articles en texte intégral au format html ou pdf |
| Autres localisations: | Voir dans le Sudoc |
| État de collection: | Revue électronique, (1990) - (2010) |
| Edition sous un autre format: | • Journal of logic and computation (Print), 0955-792X |
| LEADER | 02346nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 621313 | ||
| 008 | 000407c19909999xx ||| |||| 00| 0 eng d | ||
| 009 | PPN044929765 | ||
| 022 | |a 1465363X | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.115 | ||
| 245 | 0 | 0 | |a Journal of logic and computation. |
| 256 | |a Données textuelles | ||
| 260 | |a Oxford : |b Oxford University Press, |c 1990-. | ||
| 310 | |a Bimestriel | ||
| 500 | |a Notice mise à jour d'après la consultation du 2014-06-03 | ||
| 500 | |a Titre provenant de l'écran-titre | ||
| 500 | |a Articles mis en ligne par Oxford University Press | ||
| 500 | |a Editor-in-Chief (2015) : D M Gabbay | ||
| 500 | |a Editor-ln-Chlef (1990) : D. M. Gabbay, Imperial College of Science, London | ||
| 500 | |a OUP (Licence nationale) | ||
| 500 | |a The Keepers Registry | ||
| 500 | |a Type of computer file: Articles en texte intégral au format html ou pdf | ||
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales pour les années antérieures à 2011 | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/oup-contrat-licence-ln-2014 | ||
| 538 | |a Configuration requise : navigateur internet, Adobe Acrobat Reader | ||
| 650 | |a Programmation logique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Périodique | ||
| 776 | 0 | |0 040086534 |t Journal of logic and computation (Print) |x 0955-792X | |
| 856 | 4 | |u https://academic.oup.com/logcom |z Accès sur la plateforme de l'éditeur (OUP) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-B8HNTPVS-B |z Accès sur la plateforme ISTEX (Corpus OUP) | |
| 856 | 4 | |5 452349901:586865764 |u https://ezproxy.univ-orleans.fr/login?url=https://academic.oup.com/logcom |z Accès Université d'Orléans | |
| 856 | 4 | |5 452349901:586865764 |u https://ezproxy.insa-cvl.fr/login?qurl=https://academic.oup.com/logcom |z Accès INSA CVL | |
| 866 | |a Revue électronique, (1990) - (2010) | ||
| 955 | 4 | 1 | |5 452349901:586865764 |i 1990 |i 2010 |r (1990) - (2010) |
| 997 | |0 621313 |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/ | ||