<図書>

Abstraction, reformulation, and approximation : 4th International Symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings / Berthe Y. Choueiry, Toby Walsh (eds.)

(Lecture notes in computer science;1864 . Lecture notes in artificial intelligence)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Abstractio 8010267634


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xi, 331 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *SARA (4th : 2000 : Horseshoe Bay, Texas)
Choueiry, Berthe Y. 1963-
Walsh, Toby
件 名 LCSH:Computer science -- Congresses
LCSH:Artificial intelligence -- Congresses
分 類 LCC:QA75.5
本文言語 英語
書誌ID 2001206007
ISBN 3540678395
NCID BA4759430X WCLINK

類似資料

  1. 1 Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings / Sven Koenig, Robert C. Holte (eds.)
  2. 2 STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings / Horst Reichel, Sophie Tison (eds.)
  3. 3 Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / Jan van Leeuwen ... [et al.] (eds.)
  4. 4 STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings / Afonso Ferreira, Horst Reichel (eds.)
  5. 5 Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings / Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.)
  6. 6 STACS 2002 : 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002 : proceedings / Helmut Alt, Afonso Ferreira (eds.)
  7. 7 Fundamentals of computation theory : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings / Rūsin̦š Freivalds (ed.)
  8. 8 STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003 : proceedings / Helmut Alt, Michel Habib (eds.)
  9. 9 Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
  10. 10 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 Böhlen (eds.)

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