Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings: 516 (Lecture Notes in Computer Science)
by Stephane Kaplan, Mitsuhiro Okada
ISBN 13: 9783540543176
Format: Paperback (484 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
