Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

Sparad:
Bibliografiska uppgifter
Institutionell upphovsman: RTA 2003 :Valencia, Spain
Övriga upphovsmän: Nieuwenhuis, Robert (Chefredaktör, huvudredaktör)
Materialtyp: Livre numérique
Språk:Anglais
Publicerad: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Serie:Lecture notes in computer science 2706
Ämnen:
Länkar:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Anmärkning: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Rewriting techniques and applications, 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003, proceedings, Robert Nieuwenhuis (ed.), Berlin, Springer, 2003, 1 vol. (XI-514 p.), Lecture notes in computer science, 3-540-40254-3
• Rewriting Techniques and Applications, Texte imprimé, 9783662214602
Beskrivning
Beskrivning:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783540448815 (PDF)
ISSN:1611-3349
Tillgång:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017