今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Applications of Declarative Programming and Knowledge Management (Lecture Notes in Computer Science, 5437)
Seipel, Dietmar／Hanus, Michael／Wolf, Armin
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5438)
Hanus, Michael
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science, 4354)
Hanus, Michael
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science, 1298)
Hanus, Michael／Heering, Jan／Meinke, Karl
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Lecture Notes in Computer Science, 1139)
Hanus, Michael／Rodriguez-Artalejo, Mario
Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, proceedings
Michael Hanus, Atsushi Igarashi (eds.)
