1.
Automated Reasoning Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4...
by Basin, David, Rusinowitch, ...
ISBN: 9783540223450
List Price: $99.95
2.
Rewriting Techniques and Applications 10th International Conference, Rta-99, Trento, Italy, ...
by Narendran, Paliath, Rusinow...
ISBN: 9783540662013
List Price: $84.95
3.
Conditional Term Rewriting Systems
by Rusinowitch, Michael, Remy,...
ISBN: 9783662204795
List Price: $24.99
OUT OF STOCK
See Availability on Amazon4.
Rewriting Techniques and Applications
by Narendran, Paliath, Rusinow...
ISBN: 9783662167366
List Price: $24.99
OUT OF STOCK
See Availability on Amazon5.
Conditional Term Rewriting Systems Third International Workshop, Ctrs-92 Pont-A-Mousson, Fra...
by Rusinowitch, Michael, Remy,...
ISBN: 9780387563930
List Price: $98.00