Skip to main content
✨ Buy more, save 5%
·
Ends this month
From the pages
“So many books, so little time.”
— Frank Zappa ,
Home
Search
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Springer
$60.32
View product
Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997. Proceedings
Springer
$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
Springer
$60.32
View product
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Springer
$60.32
View product
Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
Springer
$117.22
View product
Discover your next great book
Get new releases, reader favourites, and special offers delivered to your inbox.