检索条件： Rewriting techniques and applications : ( 任意词 )

检索结果共有444条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 International Conference on Rewriting Techniques and Applications(1st : 1985 : Dijon)：Rewriting techniques and applications
责任者 International Conference on Rewriting Techniques and Applications

出版信息 Springer-Verlag ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Rewriting Techniques and Applications.International Conference on Rewriting Techniques and Applications(1st : 1985 : Dijon)：Rewriting techniques and applications.Springer-Verlag,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/31275
复制引文到剪贴板

International Conference on Rewriting Techniques and Applications(1st : 1985 : Dijon)：Rewriting techniques and applications

International Conference on Rewriting Techniques and Applications.Springer-Verlag,1985.
2 图书 International Conference on Rewriting Techniques and Applications "RTA-87"(2nd : Bordeaux)：Rewriting techniques and applications : proceedings
责任者 International Conference on Rewriting Techniques and Applications "RTA"

出版信息 Springer ,1987

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Rewriting Techniques and Applications "RTA".International Conference on Rewriting Techniques and Applications "RTA-87"(2nd : Bordeaux)：Rewriting techniques and applications : proceedings.Springer,1987.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/31162
复制引文到剪贴板

International Conference on Rewriting Techniques and Applications "RTA-87"(2nd : Bordeaux)：Rewriting techniques and applications : proceedings

International Conference on Rewriting Techniques and Applications "RTA".Springer,1987.
3 图书 Rewriting techniques and applications(4th : 1991 : Italy)：International Conference RTA-91, Como. Italy 1991, proceedings
责任者 R. V. Book,Rewriting techniques and applications,RTA 91

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
R. V. Book,Rewriting techniques and applications,RTA 91.Rewriting techniques and applications(4th : 1991 : Italy)：International Conference RTA-91, Como. Italy 1991, proceedings.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/31315
复制引文到剪贴板

Rewriting techniques and applications(4th : 1991 : Italy)：International Conference RTA-91, Como. Italy 1991, proceedings

R. V. Book,Rewriting techniques and applications,RTA 91.Springer,1991.
4 图书 Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings /
责任者 Nieuwenhuis, Robert.

出版信息 Springer, ,c2003.

ISBN 3-540-40254-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nieuwenhuis, Robert..Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/218493
复制引文到剪贴板

Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings /

Nieuwenhuis, Robert..Springer,,c2003..
5 图书 Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings /
责任者 Voronkov, A.

出版信息 Springer, ,c2008.

ISBN 9783540705888 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Voronkov, A..Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/292723
复制引文到剪贴板

Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings /

Voronkov, A..Springer,,c2008..
6 图书 Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings /
责任者 Middeldorp, Aart,

出版信息 Springer, ,c2001.

ISBN 3-540-42117-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Middeldorp, Aart,.Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings /.Springer,,c2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/153194
复制引文到剪贴板

Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings /

Middeldorp, Aart,.Springer,,c2001..
7 图书 Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
责任者 Tison, Sophie.

出版信息 Springer, ,c2002.

ISBN 3-540-43916-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Tison, Sophie..Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/162175
复制引文到剪贴板

Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /

Tison, Sophie..Springer,,c2002..
8 图书 Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /
责任者 Baader, Franz.

出版信息 Springer, ,c2007.

ISBN 978-3-540-73447-5 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Baader, Franz..Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/261332
复制引文到剪贴板

Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /

Baader, Franz..Springer,,c2007..
9 图书 International Conference on Computational Techniques and Applications(2nd : 1985 : Univ. of Melbourne)：Computational techniques and applications CTAC-85 : proceedings
责任者 International Conference on Computational Techniques and Applications

出版信息 HNPC ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Computational Techniques and Applications.International Conference on Computational Techniques and Applications(2nd : 1985 : Univ. of Melbourne)：Computational techniques and applications CTAC-85 : proceedings.HNPC,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/26401
复制引文到剪贴板

International Conference on Computational Techniques and Applications(2nd : 1985 : Univ. of Melbourne)：Computational techniques and applications CTAC-85 : proceedings

International Conference on Computational Techniques and Applications.HNPC,1986.
10 图书 Mathematical techniques of applied probability．v.2，discrete time models techniques and applications
责任者 J. J. Hunter

出版信息 Acadeimc Pr. ,1983

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. J. Hunter.Mathematical techniques of applied probability．v.2，discrete time models techniques and applications.Acadeimc Pr.,1983.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/131690
复制引文到剪贴板

Mathematical techniques of applied probability．v.2，discrete time models techniques and applications

J. J. Hunter.Acadeimc Pr.,1983.

通借成功!

预约成功!