<図書>

Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

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

所蔵情報を非表示

1

本郷キャンパス

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

7975/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1996
大きさ viii, 318 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Workshop on Extensions of Logic Programming (5th : 1996 : Leipzig, Germany)
Dyckhoff, Roy, 1948-
Herre, Heinrich
Schroeder-Heister, Peter Joseph, 1953-
件 名 LCSH:Komputer programming -- Congresses
分 類 NDC9:007.04
本文言語 英語
書誌ID 2000490196
ISBN 3540609830
NCID BA27308441 WCLINK

類似資料

  1. 1 Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings / Robert E. Bixby, E. Andrew Boyd, Roger Z. Ríos-Mercado (eds.)
  2. 2 Integer programming and combinatorial optimization : 5th International IPCO Conference, Vancouver, British Columbia, Canada, June 3-5, 1996 : proceedings / William H. Cunningham, S. Thomas McCormick, Maurice Queyranne (eds.)
  3. 3 Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings / Xavier Leroy, Atsushi Ohori (eds.)
  4. 4 Recent developments in computer vision : Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995, invited session papers / S.Z. Li ... [et al.] (eds.)
  5. 5 STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings / Claude Puech, Rüdiger Reischuk (eds.)
  6. 6 STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings / Rüdiger Reischuk, Michel Morvan (eds.)
  7. 7 Computer vision -- ECCV '98 : 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998 : proceedings / Hans Burkhardt, Bernd Neumann, (eds.)
  8. 8 Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)
  9. 9 Applied parallel computing : industrial computation and optimization : Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996 : proceedings / Jerzy Waśniewski ... [et al.] (eds.)
  10. 10 Applied parallel computing : computations in physics, chemistry and engineering science : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings / Jack Dongarra, Kaj Madsen, Jerzy Waśniewski, (eds.)

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