检索词: Rewriting systems (Computer science) , 检索到: 7 条结果, 检索时间: 0.019 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

T 工业技术 (7)

Q 生物科学 (6)

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.		Term rewriting and applications: 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / 订购中著者: Baader Franz. 出版社: Springer, 出版日期: c2007. 文献类型: 图书（纸本） , 索书号: TP311.1-532/I61:18/2007 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 ; proceedings / 订购中著者: Oostrom Vincent van 出版社: Springer, 出版日期: c2004. 文献类型: 图书（纸本） , 索书号: TP311.1-532/I61:15/2004 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings / 订购中著者: Nieuwenhuis Robert. 出版社: Springer, 出版日期: c2003. 文献类型: 图书（纸本） , 索书号: TP31-532/R454a 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.		Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / 订购中著者: Middeldorp Aart 出版社: Springer, 出版日期: c2001. 文献类型: 图书（纸本） , 索书号: TP311.1-532/R454 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.		Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / 订购中著者: Pfenning Frank. 出版社: Springer, 出版日期: c2006. 文献类型: 图书（纸本） , 索书号: TP311.1-532/I61:17/2006 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	6.		All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic / 订购中著者: Duran Francisco. Eker Steven. 出版社: Springer, 出版日期: c2007. 文献类型: 图书（纸本） , 索书号: TP302.2/C617 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	7.		Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / 订购中著者: Tison Sophie. 出版社: Springer, 出版日期: c2002. 文献类型: 图书（纸本） , 索书号: TP31-532/R454 在馆信息图书信息概览图书目录试读信息内容简介著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved