<図書>

Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.)

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

所蔵情報を非表示

1

本郷キャンパス

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

7409/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1995
大きさ 180 p. : ill. ; 24 cm
一般注記 Updated papers presented at the Workshop on Executable Modal and Temporal Logics
Includes bibliographical references
著者標目 *International Joint Conference on Artificial Intelligence (1993 : Chambéry, France)
Fisher, Michael, 1962-
Owens, Richard, 1965-
件 名 LCSH:Logic programming -- Congresses
LCSH:Prolog (Computer program language) -- Congresses
分 類 LCC:QA76.63.
DC20:005.13/1
本文言語 英語
書誌ID 2000359593
ISBN 3540589767
NCID BA24420230 WCLINK

類似資料

  1. 1 The generic development language Deva : presentation and case studies / Matthias Weber, Martin Simons, Christine Lafontaine
  2. 2 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.)
  3. 3 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.
  4. 4 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)
  5. 5 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
  6. 6 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi (eds.)
  7. 7 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)
  8. 8 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam, eds
  9. 9 Principles and practice of constraint programming : the newport papers / edited by Vijay Saraswat and Pascal Van Hentenryck ; advising editors, Paris Kanellakis, Jean-Louis Lassez, Ralph Wachter
  10. 10 Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)

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