お店のコメント(スペック情報を含む場合もあり)
Book Description
This book constitutes the refereed proceedings of the First International Conference on Computational Logic, CL 2000, held in London, UK in July 2000. The 86 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 176 submissions. In accordance with the seven streams, the papers are organized in sections on program development, logic programming - theory and extensions, constraints, automated deduction - putting theory into practice, knowledge representation and nonmonotonic reasoning, database systems, and logic programming - implementations and applications.
商品ジャンル
商品名
最終調査日時
2013/02/04 (Mon) 20:09:11
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2013/02/04 (Mon) 20:09:11
¥14,128
0 %
¥14,128
2011/11/11 (Fri) 22:14:06
¥14,687
0 %
¥14,687
2011/09/04 (Sun) 01:05:25
¥17,625
0 %
¥17,625
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告