臺北市立大學行動版館藏查詢

Rewriting(主題) ，共查得14 件。

Applications of graph transformations with industrial relevance second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers / John L. Pfaltz, Manfred Nagl, Boris Bohlen (eds.). c2004.

Applications of graph transformations with industrial relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers / edited by Andy Schurr, Daniel Varro, Gergely Varro. 2012.

Applications of graph transformations with industrial relevance International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl, Andreas Schurr, Manfred Munch (eds.). c2000.

Rewriting and Typed Lambda Calculi joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / edited by Gilles Dowek. 2014.

Rewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings / Robert Nieuwenhuis (ed.). c2003.

Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings / Vincent Van Oostrom, (Ed.). c2004.

Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.). c2001.

Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings / Paliath Narendran, Michael Rusinowitch, eds. c1999.

Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.). c2000.

Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings / Tobias Nipkow (ed.). c1998.

1/2

下一頁

縮小搜尋範圍

出版年區間 : 年 ~ 年
特藏 :
語文 :