Rajaa
Hakutulokset: 0521779200 kuuluu kategoriaan kirjat
Rajaa
yksi hakutulos.
Term Rewriting and All That
pokkari,
1999,
englanti,
ISBN 9780521779203
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, …