1.
Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Braslia, Braz...
by Treinen, Ralf
ISBN: 9783642023477
List Price: $89.95
2.
Constraints in Computational Logics Theory and Applications International Summer School, Cc...
by Comon, Hubert, Marché, Clau...
ISBN: 9783540419501
List Price: $62.95
3.
Constraints in Computational Logics. Theory and Applications
by Comon, Hubert, Marche, Clau...
ISBN: 9783662207116
List Price: $24.99