<図書>

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.)

(Lecture notes in computer science;315)

所蔵情報を非表示

1

本郷キャンパス

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

4500/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1988
大きさ vi, 327 p. : ill. ; 25 cm
一般注記 "Papers presented at the Sixth Logic Programming Conference"--Forward
Includes bibliographical references
著者標目 古川, 康一(1942-) <フルカワ, コウイチ>
藤崎, 哲之助 <フジサキ, テツノスケ>
*Logic Programming Conference (6th : 1987 : Toyko, Japan)
田中, 穂積(1941-) <タナカ, ホズミ>
件 名 LCSH:Logic programming -- Congresses
分 類 LCC:QA76.6
DC19:006.3
本文言語 英語
書誌ID 2000070657
ISBN 3540194266
NCID BA03953879 WCLINK

類似資料

  1. 1 Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.)
  2. 2 Algebraic and logic programming : proceedings of an International Workshop held in Gaussig (GDR), November 14-18, 1988 / Jan Grabowski, Pierre Lescanne, Wolfgang Wechler
  3. 3 Logic programming : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen
  4. 4 Constraint satisfaction in logic programming / Pascal Van Hentenryck
  5. 5 Logic grammars / Harvey Abramson, Veronica Dahl
  6. 6 From standard logic to logic programming : introducing a logic based approach to artificial intelligence / editor, André Thayse ; authors, Paul Gochet ... [et al.], with the collaboration of Philippe Delsarte
  7. 7 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler (eds.)
  8. 8 Metalevel architectures and separation of crosscutting concerns : Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 : proceedings / Akinori Yonezawa, Satoshi Matsuoka (eds.)
  9. 9 Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery
  10. 10 Logic programming : proceedings of the seventh international conference / edited by David H.D. Warren and Peter Szeredi

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