Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA April 3 5, 1989 : proceedings

Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementat...

Disgrifiad llawn

Manylion Llyfryddiaeth

Awdur Corfforaethol:	International conference on rewriting techniques and applications :Chapel Hill, C.
Awduron Eraill:	Dershowitz, Nachum, 1951- (Cyfarwyddwr cyhoeddi)
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in computer science 355
Pynciau:	Informatique Algorithmes Systèmes de réécriture (informatique) Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
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, proceedings, 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Berlin, Springer-Verlag, 1989, 1 vol. (VII-578 p.), Lecture notes in computer science, 3-540-51081-8 • Rewriting Techniques and Applications, Texte imprimé, 9783662181782