Check nearby libraries
Buy this book
Last edited by Open Library Bot
April 24, 2010 | History
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
|
aaaa
Libraries near you:
WorldCat
|
2
Rewriting techniques and applications: Dijon, France, May 20-22, 1985
1985, Springer-Verlag
in English
0387159762 9780387159768
|
zzzz
Libraries near you:
WorldCat
|
3
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
|
zzzz
Libraries near you:
WorldCat
|
Book Details
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 29, 2008
- 4 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
December 14, 2009 | Edited by WorkBot | link works |
April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |