null Skip to main content

✨ Buy more, save 5% Ends

Did you mean: hobart common Refine Search
  • Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
    Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
    $60.32
    View product
  • Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997. Proceedings
    Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997. Proceedings
    $60.32
    View product
  • Constraints in Computational Logics: Theory and Applications: International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999 Revised
    Constraints in Computational Logics: Theory and Applications: International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999 Revised
    $60.32
    View product
  • Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
    Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
    $60.32
    View product
  • Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
    Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
    $117.22
    View product

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.