Hero image 0 of Term Rewriting and Applications: 17th International Conference, Rta 2006, Seattle, Wa, Usa, August 12-14, 2006, Proceedi, (Paperback), 0 of 1
Term Rewriting and Applications: 17th International Conference, Rta 2006, Seattle, Wa, Usa, August 12-14, 2006, Proceedi, (Paperback)
(No ratings yet)
Key item features
- Term Rewriting and Applications: 17th International Conference, Rta 2006, Seattle, Wa, Usa, August 12-14, 2006, Proceedi, (Paperback)
- Author: Springer
- ISBN: 9783540368342
- Format: Paperback
- Publication Date: 2006-07-26
- Page Count: 418
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreTextbooks
- Publication dateJuly, 2006
- Pages418
- SubgenreLogic
Current price is USD$56.14
Price when purchased online
- Free shipping
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives by Tue, May 12
|
Sold and shipped by Alibris Books
4.567108944850618 stars out of 5, based on 11079 seller reviews(4.6)11079 seller reviews
Free 30-day returns
More seller options (1)
Starting from $54.99
About this item
Product details
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.
- Term Rewriting and Applications: 17th International Conference, Rta 2006, Seattle, Wa, Usa, August 12-14, 2006, Proceedi, (Paperback)
- Author: Springer
- ISBN: 9783540368342
- Format: Paperback
- Publication Date: 2006-07-26
- Page Count: 418
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Textbooks
Publication date
July, 2006
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Camera-Based Document Analysis and Recognition: 5th International Workshop, Cbdar 2013, Washington, DC, Usa, August 23, , (Paperback) $54.99
$5499current price $54.99Camera-Based Document Analysis and Recognition: 5th International Workshop, Cbdar 2013, Washington, DC, Usa, August 23, , (Paperback)
Conceptual Modeling: 33rd International Conference, Er 2014, Atlanta, Ga, Usa, October 27-29,2014. Proceedings, (Paperback) $56.14
$5614current price $56.14Conceptual Modeling: 33rd International Conference, Er 2014, Atlanta, Ga, Usa, October 27-29,2014. Proceedings, (Paperback)
Advances in Learning Classifier Systems: 4th International Workshop, Iwlcs 2001, San Francisco, Ca, Usa, July 7-8, 2001., (Paperback) $56.14
$5614current price $56.14Advances in Learning Classifier Systems: 4th International Workshop, Iwlcs 2001, San Francisco, Ca, Usa, July 7-8, 2001., (Paperback)
Mathematical Knowledge Management: 5th International Conference, Mkm 2006, Wokingham, Uk, August 11-12, 2006, Proceeding, (Paperback) $54.99
$5499current price $54.99Mathematical Knowledge Management: 5th International Conference, Mkm 2006, Wokingham, Uk, August 11-12, 2006, Proceeding, (Paperback)
Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, Usa, July 13-17, 2015, Proceeding, (Paperback) $63.65
$6365current price $63.65Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, Usa, July 13-17, 2015, Proceeding, (Paperback)
Scalable Uncertainty Management: Third International Conference, Sum 2009, Washington, DC, Usa, September 28-30, 2009, P, (Paperback) $54.99
$5499current price $54.99Scalable Uncertainty Management: Third International Conference, Sum 2009, Washington, DC, Usa, September 28-30, 2009, P, (Paperback)
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, Usa, August 12-, (Paperback) $56.14
$5614current price $56.14Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, Usa, August 12-, (Paperback)
X-Ray Microscopy and Spectromicroscopy: Status Report from the Fifth International Conference, Würzburg, August 19-23, 1, (Paperback) $60.29
$6029current price $60.29X-Ray Microscopy and Spectromicroscopy: Status Report from the Fifth International Conference, Würzburg, August 19-23, 1, (Paperback)
Lecture Notes in Computer Science Infrastructure Security: International Conference, Infrasec 2002 Bristol, Uk, October 1-3, 2002 Proceedings, Book 2437, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Infrastructure Security: International Conference, Infrasec 2002 Bristol, Uk, October 1-3, 2002 Proceedings, Book 2437, (Paperback)
Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings, (Paperback) $54.99
$5499current price $54.99Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings, (Paperback)
Service-Oriented Computing Icsoc 2006: 4th International Conference, Chicago, Il, Usa, December 4-7, 2006, Workshop Proc, (Paperback) $54.99
$5499current price $54.99Service-Oriented Computing Icsoc 2006: 4th International Conference, Chicago, Il, Usa, December 4-7, 2006, Workshop Proc, (Paperback)
American Association for State and Local The Oral History Manual, (Paperback) $40.72
$4072current price $40.72American Association for State and Local The Oral History Manual, (Paperback)
Algorithms in Bioinformatics: 15th International Workshop, Wabi 2015, Atlanta, Ga, Usa, September 10-12, 2015, Proceedin, (Paperback) $54.99
$5499current price $54.99Algorithms in Bioinformatics: 15th International Workshop, Wabi 2015, Atlanta, Ga, Usa, September 10-12, 2015, Proceedin, (Paperback)
Practice and Theory of Automated Timetabling V: 5th International Conference, Patat 2004, Pittsburgh, Pa, Usa, August 18, (Paperback) $56.14
$5614current price $56.14Practice and Theory of Automated Timetabling V: 5th International Conference, Patat 2004, Pittsburgh, Pa, Usa, August 18, (Paperback)
Graph Drawing: 17th International Symposium, GD 2009, Chicago, Il, Usa, September 22-25, 2009. Revised Papers, (Paperback) $54.99
$5499current price $54.99Graph Drawing: 17th International Symposium, GD 2009, Chicago, Il, Usa, September 22-25, 2009. Revised Papers, (Paperback)
Lecture Notes in Computer Science Computer Assisted Learning: 2nd International Conference, Iccal '89, Dallas, Tx, Usa, May 9-11, 1989. Proceedings, Book 360, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Computer Assisted Learning: 2nd International Conference, Iccal '89, Dallas, Tx, Usa, May 9-11, 1989. Proceedings, Book 360, (Paperback)
Mathematical Software - Icms 2018: 6th International Conference, South Bend, In, Usa, July 24-27, 2018, Proceedings, (Paperback) $54.99
$5499current price $54.99Mathematical Software - Icms 2018: 6th International Conference, South Bend, In, Usa, July 24-27, 2018, Proceedings, (Paperback)
Lecture Notes in Computer Science Practical Aspects of Declarative Languages: 4th International Symposium, Padl 2002, Portland, Or, Usa, January 19-20, 20, Book 2257, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Practical Aspects of Declarative Languages: 4th International Symposium, Padl 2002, Portland, Or, Usa, January 19-20, 20, Book 2257, (Paperback)
Lecture Notes in Computer Science Principles of Document Processing: Third International Workshop, Podp '96, Palo Alto, California, Usa, September 23, 199, Book 1293, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Principles of Document Processing: Third International Workshop, Podp '96, Palo Alto, California, Usa, September 23, 199, Book 1293, (Paperback)
Developments in Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings, (Paperback) $50.35
$5035current price $50.35Developments in Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
