Higher-order and symbolic computation

保存先:
書誌詳細
前タイトル:LISP and symbolic computation (Online)
その他の著者: Danvy, Olivier, 1960- (編集者), Talcott, Carolyn L. (編集者)
フォーマット: Revue numérique
言語:Anglais
出版事項: Dordrecht [etc.] : Kluwer Academic Publishers [199.]-.
Dordrecht : Springer
オンライン・アクセス:Accès sur la plateforme de l'éditeur (Springer)
Accès sur la plateforme ISTEX (corpus Springer)
Accès Université d'Orléans
Accès INSA CVL
注記: Titre provenant de l'écran-titre
Articles mis en ligne par SpringerLink
Archives Springer périodiques (Licence nationale)
Archives Springer périodiques (Licence nationale)
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, (1998) - (2013)180339901, (1998) - (2013)
Edition sous un autre format:• Higher-order and symbolic computation (Print), 1388-3690
LEADER 02415nam a22004097a 4500
001 703579
008 070529c19909999xx ||| |||| 00| 0 eng d
009 PPN114941599
022 |a 22120793 
041 0 |a eng 
080 |a 681.3 
245 0 0 |a Higher-order and symbolic computation   |c editors-in-chief O. Danvy, C. L. Talcott. 
256 |a Données textuelles 
260 |a Dordrecht [etc.] :  |b Kluwer Academic Publishers,  |c [199.]-. 
260 |a Dordrecht :  |b Springer. 
310 |a Trimestriel 
500 |a Titre provenant de l'écran-titre 
500 |a Articles mis en ligne par SpringerLink 
500 |a Archives Springer périodiques (Licence nationale) 
500 |a Archives Springer périodiques (Licence nationale) 
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 à 2014. Springer 
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/springer-nature-revues-contrat-licence-ln-2011 
700 1 |a Danvy, Olivier,  |d 1960-  |4 edt 
700 1 |a Talcott, Carolyn L.  |4 edt 
776 0 |0 045043558  |t Higher-order and symbolic computation (Print)  |x 1388-3690 
780 0 |0 111688418  |t LISP and symbolic computation (Online)  |x 1573-0557 
856 4 |u https://link.springer.com/journal/10990/volumes-and-issues  |z Accès sur la plateforme de l'éditeur (Springer) 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9M6CXG9K-L  |z Accès sur la plateforme ISTEX (corpus Springer) 
856 4 |5 452349901:842106154  |u https://ezproxy.univ-orleans.fr/login?url=https://revue-sommaire.istex.fr/ark:/67375/8Q1-9M6CXG9K-L  |z Accès Université d'Orléans 
856 4 |5 180339901:842227725  |u https://ezproxy.insa-cvl.fr/login?qurl=https://revue-sommaire.istex.fr/ark:/67375/8Q1-9M6CXG9K-L  |z Accès INSA CVL 
866 |a Revue électronique, (1998) - (2013) 
866 |a 180339901, (1998) - (2013) 
955 4 1 |5 452349901:842106154  |i 1998  |i 2013  |r (1998) - (2013) 
955 4 1 |5 180339901:842227725  |i 1998  |i 2013  |r (1998) - (2013) 
997 |0 703579  |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/