Holdings: Rewriting techniques and applications : ; proceedings

Saved in:

Bibliographic Details
Corporate Author:	International Conference on Rewriting Techniques and Applications :Aachen, Germany
Other Authors:	Oostrom, Vincent van (Publishing director)
Format:	Livre numérique
Language:	Anglais
Published:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 3091
Subjects:	Informatique Algorithmes Systèmes de réécriture (informatique) Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Online Access:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	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, 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Vincent van Oostrom (Ed.), Berlin, Springer, 2004, 1 vol. (X-311 p.), Lecture notes in computer science, 3-540-22153-0 • Rewriting Techniques and Applications, Texte imprimé, 9783662195642