The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

Barnes and Noble
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings / Edition 1

Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings / Edition 1

Barnes and Noble
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Barnes and Noble
Advances in Rule Interchange and Applications: International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings / Edition 1

Advances in Rule Interchange and Applications: International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings / Edition 1

Barnes and Noble
Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Barnes and Noble
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Barnes and Noble
Rules and Reasoning: 6th International Joint Conference on Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, Proceedings

Rules and Reasoning: 6th International Joint Conference on Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, Proceedings

Barnes and Noble
Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Barnes and Noble
Language and Automata Theory and Applications: 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Language and Automata Theory and Applications: 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Barnes and Noble
Sequences and their Applications: Proceedings of SETA '01

Sequences and their Applications: Proceedings of SETA '01

Barnes and Noble
Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, Proceedings

Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, Proceedings

Barnes and Noble
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1

Barnes and Noble
Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings

Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings

Barnes and Noble
Refinement: Semantics, Languages and Applications

Refinement: Semantics, Languages and Applications

Barnes and Noble
Application of Graph Rewriting to Natural Language Processing / Edition 1

Application of Graph Rewriting to Natural Language Processing / Edition 1

Barnes and Noble
Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Barnes and Noble
Powered by Adeptmind