<図書>

Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, (eds.)

(Lecture notes in computer science;1298)

所蔵情報を非表示

1

本郷キャンパス

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

8681/保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1997
大きさ x, 286 p. ; 24 cm
一般注記 "Proceedings of the Sixth International Conference on Algebraic and Logic Programming (ALP '97) and the Third International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '97), held in Southampton (Great Britain) during September 3-5, 1997" -- Pref
Includes bibliographical references and index
著者標目 Hanus, Michael
Heering, J
Meinke, K. (Karl)
International Conference on Algebraic and Logic Programming (6th : 1997 : Southampton, England)
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (3rd : 1997 : Southampton, England)
件 名 LCSH:Logic programming -- Congresses
LCSH:Algebraic logic -- Congresses
分 類 LCC:QA76.63
DC21:005.13/1
本文言語 英語
書誌ID 2000627755
ISBN 3540634592
NCID BA32292147 WCLINK

類似資料

  1. 1 Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 / sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, eds.
  2. 2 Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)
  3. 3 A grammatical view of logic programming / Pierre Deransart and Jan Małuszyński
  4. 4 Logic programming languages : constraints, functions, and objects / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten
  5. 5 Meta-logics and logic programming / edited by Krzysztof R. Apt and Franco Turini
  6. 6 Principles of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos
  7. 7 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / Annalisa Bossi (ed.)
  8. 8 Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.)
  9. 9 Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol, Michèle Sebag (eds.)
  10. 10 Inductive logic programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers / Stan Matwin, Claude Sammut (eds.)

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