Term rewriting systems : Terese
[editors: Marc Bezem, Jan Willem Klop, Roel de Vrijer]
Bok Engelsk 2003
Utgitt | Cambridge : Cambridge University Press , 2003
|
---|---|
Omfang | XXII, 884 s.
|
Emner | |
ISBN | 0521391156
|
Utgitt | Cambridge : Cambridge University Press , 2003
|
---|---|
Omfang | XXII, 884 s.
|
Emner | |
ISBN | 0521391156
|