×
  • 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.)

Click on cover to enlarge.
6 - 7Hours to read