Top 925 pierre andr juven PDF Book Page 36

book image

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)
·287 Pages
·2007
·2.951 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.