<図書>

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / Annalisa Bossi (ed.)

(Lecture notes in computer science;1817)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ viii, 312 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *International Workshop on Logic Program Synthesis and Transformation (9th : 1999 : Venice, Italy)
Bossi, Annalisa, 1948-
件 名 LCSH:Logic programming -- Congresses
分 類 LCC:QA76.63
本文言語 英語
書誌ID 2001205080
ISBN 3540676287
NCID BA47210113 WCLINK

類似資料

  1. 1 Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.)
  2. 2 Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol, Michèle Sebag (eds.)
  3. 3 Inductive logic programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers / Stan Matwin, Claude Sammut (eds.)
  4. 4 Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
  5. 5 Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.)
  6. 6 Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.)
  7. 7 Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Philippe Codognet (ed.)
  8. 8 Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings / Peter J. Stuckey (ed.)
  9. 9 Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
  10. 10 Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / Catuscia Palamidessi (ed.)

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