<図書>

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

(Lecture notes in computer science;1833)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1833 2012829467

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ x, 273 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 International Conference on Rewriting Techniques and Applications (11th : 2000 : Norwich, UK)
Bachmair, Leo
件 名 LCSH:Rewriting systems (Computer science) -- Congresses
LCSH:Computer programming -- Congresses
LCSH:Algorithms -- Congresses
分 類 LCC:QA267
本文言語 英語
書誌ID 2001205798
ISBN 354067778X
NCID BA47496810 WCLINK

類似資料

  1. 1 Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings / Paliath Narendran, Michael Rusinowitch (eds.)
  2. 2 Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Sophie Tison (ed.)
  3. 3 Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.)
  4. 4 Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz (ed.)
  5. 5 Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
  6. 6 Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.)
  7. 7 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.)
  8. 8 Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings / Hubert Comon (ed.)
  9. 9 Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings / Ronald V. Book, (ed.)
  10. 10 Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings / Claude Kirchner (ed.)

検索結果一覧に戻る ページトップ