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

Term rewriting and applications : 18th international conference RTA 2007 Paris France June 26-28
出版社：Berlin ; New York : Springer, c2007.
ISBN：3540734473
出版年：2007
作者：RTA 2007
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

24th International Conference on Rewriting Techniques and Applications : RTA''13, June 24-26, 2013, E
  • 作者：International Conference on Rewriting Techniques and Applications
  • ISBN：9781627489157
  • 出版社：Saarbrucken, Germany : Scloss Dagstuhl Office, 2013.
  • 出版年：2013
...

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21,
  • 作者：RTA 2005
  • ISBN：9783540255963
  • 出版社：Berlin ; New York, N.Y. : Springer, c2005.
  • 出版年：2005
...

Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August
  • 作者：Pfenning,Frank
  • ISBN：3540368345
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

2018 25th International Conference on Telecommunications (ICT 2018) : Saint Malo, France, 26-28 June
  • 作者：International Conference on Telecommunications
  • ISBN：9781538623220
  • 出版社：Piscataway, N.J. : IEEE, 2018.
  • 出版年：2018
...

Rewriting techniques and applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-
  • 作者：International Conference on Rewriting Techniques and Applications
  • ISBN：3540629505
  • 出版社：Berlin ; New York : Springer, c1997.
  • 出版年：1997
...

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：9783540732273
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007