<図書>

Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)

(Lecture notes in computer science;1048)

所蔵情報を非表示

1

本郷キャンパス

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

7968/保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin ; New York ; Tokyo : Springer
出版年 c1996
大きさ x, 266 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Workshop on Logic Program Synthesis and Transformation (5th : 1995 : Utrecht, the Netherlands)
Proietti, Maurizio, 1959-
件 名 LCSH:Logic programming -- Congresses
分 類 NDC9:007.64
LCC:QA76.63
DC20:005.13/1
本文言語 英語
書誌ID 2000490615
ISBN 3540609393
NCID BA27378582 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 A grammatical view of logic programming / Pierre Deransart and Jan Małuszyński
  3. 3 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)
  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 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.)
  8. 8 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.)
  9. 9 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.)
  10. 10 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)

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