The Journal of logic and algebraic programming

Gespeichert in:
Bibliographische Detailangaben
Späterer Titel:The Journal of logical and algebraic methods in programming (Online)
Vorheriger Titel:The journal of logic programming (Online)
Körperschaft: Elsevier. North-Holland (Verlagsleitung)
Weitere Verfasser: Bergstra, Johannes Aldert, 1951- (HerausgeberIn), Tucker, J.V (HerausgeberIn)
Format: Revue numérique
Sprache:Anglais
Veröffentlicht: Amsterdam : Elsevier Science 2001-2014.
Schlagworte:
Online Zugang:Accès sur la plateforme de l'éditeur : Elsevier
Accès sur la plateforme ISTEX : Elsevier
Accès Université d'Orléans et IFPM
Accès INSA CVL
Anmerkung: Titre provenant de l'écran-titre
Articles mis en ligne par ScienceDirect
Elsevier (Licence nationale)
Elsevier (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, (2001) - (2001)180339901, (2001) - (2001)
Edition sous un autre format:• The journal of logic and algebraic programming, 1567-8326
LEADER 02546nam a22004697a 4500
001 987051
008 050929d20012014xx ||| |||| 00| 0 eng d
009 PPN091293731
022 |a 18735940 
041 0 |a eng 
080 |a 519.85 
110 2 |a Elsevier.  |b North-Holland.  |4 pbd 
245 1 0 |a The Journal of logic and algebraic programming   |c editors-in-chief J.A. Bergstra, J.V. Tucker. 
256 |a Données textuelles 
260 |a Amsterdam :  |b Elsevier Science,  |c 2001-2014. 
310 |a 8 numéros par an 
500 |a Titre provenant de l'écran-titre 
500 |a Articles mis en ligne par ScienceDirect 
500 |a Elsevier (Licence nationale) 
500 |a Elsevier (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 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/elsevier-contrat-licence-ln-2013 
538 |a Navigateur internet, lecteur de fichier PDF 
650 |a Programmation logique 
650 |a Algèbre 
650 |a Périodique 
700 1 |a Bergstra, Johannes Aldert,  |d 1951-  |4 edt 
700 1 |a Tucker, J.V.  |4 edt 
776 0 |0 054530997  |t The journal of logic and algebraic programming  |x 1567-8326 
780 0 |0 091294541  |t The journal of logic programming (Online)  |x 1873-5789 
785 0 |0 180273906  |t The Journal of logical and algebraic methods in programming (Online)  |x 2352-2216 
856 |u https://www.sciencedirect.com/science/journal/15678326  |z Accès sur la plateforme de l'éditeur : Elsevier 
856 4 |u https://revue-sommaire.data.istex.fr/ark:/67375/8Q1-Q3SZ9F0F-M  |z Accès sur la plateforme ISTEX : Elsevier 
856 4 |5 452349901:762807806  |u https://ezproxy.univ-orleans.fr/login?url=https://www.sciencedirect.com/science/journal/15678326  |z Accès Université d'Orléans et IFPM 
856 4 |5 180339901:762858842  |u https://ezproxy.insa-cvl.fr/login?qurl=https://www.sciencedirect.com/science/journal/15678326  |z Accès INSA CVL 
866 |a Revue électronique, (2001) - (2001) 
866 |a 180339901, (2001) - (2001) 
955 4 1 |5 452349901:762807806  |i 2001  |i 2001  |r (2001) - (2001) 
955 4 1 |5 180339901:762858842  |i 2001  |i 2001  |r (2001) - (2001) 
997 |0 987051  |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/