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

Home

Barnes and Noble

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

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

You May Also Like

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

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

Barnes and Noble
Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94, Chantilly, France, November 7 - 10, 1994. Selected Papers / Edition 1

Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94, Chantilly, France, November 7 - 10, 1994. Selected Papers / Edition 1

Barnes and Noble
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Barnes and Noble
STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986

STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986

Barnes and Noble
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers / Edition 1

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers / Edition 1

Barnes and Noble
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1

Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1

Barnes and Noble
Coding Theory and Applications: 2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986. Proceedings / Edition 1

Coding Theory and Applications: 2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986. Proceedings / Edition 1

Barnes and Noble
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings / Edition 1

Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings / Edition 1

Barnes and Noble
STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings / Edition 1

STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings / Edition 1

Barnes and Noble
Topics in Case-Based Reasoning: First European Workshop, EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993. Selected Papers / Edition 1

Topics in Case-Based Reasoning: First European Workshop, EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993. Selected Papers / Edition 1

Barnes and Noble
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
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Barnes and Noble
STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings

STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings

Barnes and Noble
Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / Edition 1

Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / Edition 1

Barnes and Noble
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Barnes and Noble
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / Edition 1

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / Edition 1

Barnes and Noble
Powered by Adeptmind