Skip to content
Home/ Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings (1987)
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings (1987)

Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings (1987)

No customer reviews yet ISBN 9783540172208

This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.

About the author

Product details

Pub dateMay 14, 1987
ISBN-103540172203
ISBN-139783540172208
LanguageEnglish
Last updated 2026-09-08 01:29
$52.27
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Logic
See all
Schaum's Easy Outline Logic: Based on Schaum's Outline of Theory and Problems of Logic
Nolt, John
$9.61
Symbolic Logic and Mechanical Theorem Proving
Chang, Chin-Liang
$84.56
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Revised)
Davis, Martin
$84.56
Fuzzy Sets and Systems: Theory and Applications
DuBois, Didier J
$84.56
Elements of Set Theory
Enderton, Herbert B
$84.56
Mathematical Introduction to Logic (Revised)
Enderton, Herbert B
$184.21