Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awdur Corfforaethol: International conference on rewriting techniques and applications :Norwich
Awduron Eraill: Bachmair, Leo, 19..- (Cyfarwyddwr cyhoeddi)
Fformat: Livre numérique
Iaith:Anglais
Cyhoeddwyd: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Cyfres:Lecture notes in computer science 1833
Pynciau:
Mynediad Ar-lein:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nodyn: 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, 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000, proceedings, Leo Bachmair (ed.), Berlin, Springer, 2000, 1 vol. (X-273 p.), Lecture notes in computer science, 3-540-67778-X
• Rewriting Techniques and Applications, Texte imprimé, 9783662210703

Rhyngrwyd

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL