<図書>

Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)

(Lecture notes in computer science;1139)

所蔵情報を非表示

1

本郷キャンパス

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

8212/保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1996
大きさ viii, 344 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 Hanus, Michael
Rodríguez Artalejo, M. (Mario)
*International Conference on Algebraic and Logic Programming (5th : 1996 : Aachen, Germany)
件 名 LCSH:Logic programming -- Congresses
LCSH:Algebraic logic -- Congresses
分 類 LCC:QA76.6
DC20:005.13/1
本文言語 英語
書誌ID 2000498724
ISBN 3540617353
NCID BA2838791X WCLINK

類似資料

  1. 1 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
  2. 2 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi (eds.)
  3. 3 Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.)
  4. 4 Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone (eds.)
  5. 5 Programming from specifications / Carroll Morgan
  6. 6 Algebra of programming / Richard Bird and Oege de Moor
  7. 7 Logic programming : proceedings of the Fourth International Conference / edited by Jean-Louis Lassez
  8. 8 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.)
  9. 9 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.
  10. 10 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)

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