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

Conditional and typed rewriting systems : 4th international workshop CTRS-94 Jerusalem Israel Ju
出版社：Berlin ; London : Springer, 1995.
ISBN：3540603816
出版年：1995
作者：Dershowitz,Nachum
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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 : Third International Workshop, CTRS-92, Pont-à-Mousson, France
  • 作者：Rusinowitch,M.
  • ISBN：3540563938
  • 出版社：Berlin ; New York : Springer-Verlag, 1993.
  • 出版年：1993
...

Computer aided systems theory--CAST''94 : 4th international workshop, Ottawa, Ontario, Canada, May 16
  • 作者：CAST''94
  • ISBN：3540614788
  • 出版社：Berlin ; New York : Springer, c1996.
  • 出版年：1996
...

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
...

Dynamic logic : new trends and applications : 4th international workshop, DaLí 2022, Haifa, Israel,
  • 作者：DaLí 2022
  • ISBN：9783031266218
  • 出版社：Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

icws''94 proceedings 4th international conference on wetland systems for water pollution control
  • 作者：Peng Guofan
  • 出版社：ICWS''s 94 secretariat c1994
  • 出版年：1994