Rewriting, Computation and Proof - bib.howest.be

Rewriting, Computation and Proof

Format:: e-book
Title:: Rewriting, Computation and Proof
Author:: Comon-Lundh, Hubert; Kanade, Takeo; Kirchner, Claude; Kirchner, Hélène; Kittler, Josef
Language:: English
Publisher:: Springer Berlin Heidelberg 2007
ISBN:: 3-540-73146-6
3-540-73147-4
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000478483?locale=en