<図書>

Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / Laurent Fribourg, Franco Turini (Eds.)

(Lecture notes in computer science;883)

所蔵情報を非表示

1

本郷キャンパス

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

7312/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1994
大きさ ix, 450 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Workshop on Logic Program Synthesis and Transformation (4th : 1994 : Pisa, Italy)
Fribourg, Laurent, 1957-
Turini, Franco, 1949-
International Workshop, META (4th : 1994 : Pisa, Italy)
件 名 LCSH:Logic programming -- Congresses
分 類 LCC:QA76.73
DC20:005.1/1
本文言語 英語
書誌ID 2000356884
ISBN 3540587926
NCID BA23996309 WCLINK

類似資料

  1. 1 Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, (eds.)
  2. 2 Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / Roy Dyckhoff (ed.)
  3. 3 Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.)
  4. 4 Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn, N.E. Fuchs, M. Ratcliffe (eds.)
  5. 5 Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
  6. 6 Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.)
  7. 7 Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.], (eds.)
  8. 8 Object-oriented programming : 8th European conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings / Mario Tokoro, Remo Pareschi (eds.)
  9. 9 Principles and practice of constraint programming - CP98 : 4th International Conference, CP 98, Pisa, Italy, October 26-30, 1998 : proceedings / Michael Maher, Jean-Francois Puget (eds.)
  10. 10 Principles and practice of constraint programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 : proceedings / Joxan Jaffar (ed.)

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