Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
We couldn't estimate the reading time for this book.
Publication
2007 - Springer London, Limited
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540731474
- ISBN-103540731474
- Better World Books9783540731474
- Open LibraryOL37108718M
Classifications
- LCCQA267-268.5
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!