Rajaa
Hakutulokset: 9780521391153
Rajaa
yksi hakutulos.
Term Rewriting Systems
sidottu,
2003,
englanti,
ISBN 9780521391153
Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps …