Rewriting, Computation and Proof
de Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
Ediciones (1)
- Rewriting, Computation and Proof (2007)
Springer London, Limited · inglés · ISBN 9783540731474
de Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
Springer London, Limited · inglés · ISBN 9783540731474