Descrição: Rewriting techniques and applications :

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	International conference on rewriting techniques and applications :Norwich
Outros Autores:	Bachmair, Leo, 19..- (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado em:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Colecção:	Lecture notes in computer science 1833
Assuntos:	Informatique Algorithmes Systèmes de réécriture (informatique) Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Acesso em linha:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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

Descrição
Descrição do item:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540449805 (PDF)
ISSN:	1611-3349
Acesso:	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