検索絞り込み条件絞り込み条件isbn 項目を閉じる絞り込み条件絞り込み条件検索結果 2 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りLogic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001 : Havana, Cuba, December 3-7, 2001 ; proceedings. : Dec 2001, Havana, Cuba. (Lecture Notes in Computer Science ; 2250. Lecture Notes in Artificial Intelligence)Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001 : Havana, Cuba, December 3-7, 2001 ; proceedings. : Dec 2001, Havana, Cuba. (Lecture Notes in Computer Science ; 2250. Lecture Notes in Artificial Intelligence)紙図書Springer2001.<M17-03-2438>国立国会図書館ISBN3540429573Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedingsLogic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings紙図書Robert Nieuwenhuis, Andrei Voronkov (eds.)Springerc2001全国の図書館ISBN3540429573検索結果は以上です。書誌情報を一括出力