登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Conditional term rewriting systems : Third International Workshop CTRS-92 Pont-à-Mousson France
出版社：Berlin ; New York : Springer-Verlag, 1993.
ISBN：3540563938
出版年：1993
作者：Rusinowitch,M.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, Ju
  • 作者：Dershowitz,Nachum
  • ISBN：3540603816
  • 出版社：Berlin ; London : Springer, 1995.
  • 出版年：1995
...

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11
  • 作者：International CTRS Workshop
  • ISBN：3540543171
  • 出版社：Berlin ; New York : Springer-Verlag, c1991.
  • 出版年：1991
...

Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : pro
  • 作者：Kaplan,S.
  • ISBN：0387192425
  • 出版社：Berlin ; New York : Springer-Verlag, c1988.
  • 出版年：1988
...

Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28
  • 作者：RTA 2007
  • ISBN：3540734473
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

Comptes rendus du 4e Colloque de Pont-a-Mousson Biologie Prospective, 1978-Pont-a-Mousson
  • 作者：Colloque de Pont-a-Mousson Biologie Prospective
  • 出版社：Paris : Masson, 1979.
  • 出版年：1979
...

Higher-order algebra, logic, and term rewriting : second international workshop, HOA ''95, Paderborn,
  • 作者：HOA''95
  • ISBN：3540612548
  • 出版社：Berlin ; New York : Springer, c1996.
  • 出版年：1996