Reading Length
Home
Speed Tests
Login
Hélène Kirchner
Identifiers
Open Library
OL10229047A
Books by Hélène Kirchner
Total count: 1
Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Springer London, Limited
2007-01-01
