booktheque

Rewriting, Computation and Proof

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner · 2007

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2007
Language
English
Publisher
Springer London, Limited
Editions
1
ISBN
9783540731474

Data source: Wikidata