Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Réécriture, Algebraïsche logica, Algorithme, Informatique théorique, Logiciel, Congrès, Computer programming, Termersetzungssystem, Démonstration théorème, Bewijstheorie, Algorithmes, Réécriture, Systèmes de (Informatique), Rewriting systems (Computer science), Specificatie, Démonstration automatique, Computer algorithms, Programmation (Informatique), Congresses, Unification, Programmation en logique, Computermethoden, Algorithms, Machine theory, Systèmes de réécriture (Informatique), Datenverarbeitung, Produktion, ReduktionssystemShowing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science)
January 1986, Springer
in English
0387159762 9780387159768
|
zzzz
Libraries near you:
WorldCat
|
2
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science)
November 11, 1985, Springer
Paperback
in English
- 1 edition
3540159762 9783540159766
|
aaaa
Libraries near you:
WorldCat
|
3
Rewriting techniques and applications: Dijon, France, May 20-22, 1985
1985, Springer-Verlag
in English
0387159762 9780387159768
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
October 30, 2022 | Edited by ImportBot | import existing book |
January 8, 2022 | Edited by ImportBot | import existing book |
October 4, 2021 | Edited by ImportBot | import existing book |
July 6, 2019 | Edited by MARC Bot | import existing book |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |