国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(7)
1990年代
(119)
2000年代
(59)
2010年代
(20)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(206)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(206)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 206 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Latest advances in inductive logic programming
Latest advances in inductive logic programming
紙
図書
Stephen H. Muggleton & Hiroaki Watanabe.
Imperial College Press
[2015]
<M159-B154>
国立国会図書館
Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning (Intelligent systems reference library ; volume 88)
Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning (Intelligent systems reference library ; volume 88)
紙
図書
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.
Springer
[2015]
<M159-B158>
国立国会図書館
Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015 : Lexington, KY, USA, September 27-30, 2015 : proceedings : joint LPNMR-ADT doctoral consortium : 1st joint ADT/LPNMR 2015 doctoral consortium : Sep 2015, Lexington, KY. (Lecture Notes in Computer Science ; 9345. Lecture Notes in Artificial Intelligence)
Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015 : Lexington, KY, USA, September 27-30, 2015 : proceedings : joint LPNMR-ADT doctoral consortium : 1st joint ADT/LPNMR 2015 doctoral consortium : Sep 2015, Lexington, KY. (Lecture Notes in Computer Science ; 9345. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
[2015]
<M17-16-766>
国立国会図書館
Inductive logic programming : 23rd international conference, ILP 2013 : Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers : Aug 2013, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 8812. Lecture Notes in Artificial Intelligence)
Inductive logic programming : 23rd international conference, ILP 2013 : Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers : Aug 2013, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 8812. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
[2014]
<M17-15-1308>
国立国会図書館
Inductive logic programming : 22nd international conference, ILP 2012 : Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers : Sep 2012, Dubrovnik, Croatia. (Lecture Notes in Computer Science ; 7842. Lecture Notes in Artificial Intelligence)
Inductive logic programming : 22nd international conference, ILP 2012 : Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers : Sep 2012, Dubrovnik, Croatia. (Lecture Notes in Computer Science ; 7842. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2013.
<M17-13-3370>
国立国会図書館
Web reasoning and rule systems : 7th international conference, RR 2013 : Mannheim, Germany, July 27-29, 2013 : proceedings : Jul 2013, Mannheim, Germany. (Lecture Notes in Computer Science ; 7994)
Web reasoning and rule systems : 7th international conference, RR 2013 : Mannheim, Germany, July 27-29, 2013 : proceedings : Jul 2013, Mannheim, Germany. (Lecture Notes in Computer Science ; 7994)
紙
図書
Springer
c2013.
<M17-14-116>
国立国会図書館
Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18 : Mérida, Venezuela, March 11-15, 2012 : proceedings : LPAR workshop : Mar 2012, Mérida, Venezuela. (Lecture Notes in Computer Science ; 7180. Advanced Research in Computing and Software Science)
Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18 : Mérida, Venezuela, March 11-15, 2012 : proceedings : LPAR workshop : Mar 2012, Mérida, Venezuela. (Lecture Notes in Computer Science ; 7180. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2012.
<M17-12-2910>
国立国会図書館
Inductive logic programming : 20th international conference, ILP 2010 : Florence, Italy, June 27-30, 2010 : revised papers. : Jun 2010, Florence, Italy. (Lecture Notes in Computer Science ; 6489. Lecture Notes in Artificial Intelligence)
Inductive logic programming : 20th international conference, ILP 2010 : Florence, Italy, June 27-30, 2010 : revised papers. : Jun 2010, Florence, Italy. (Lecture Notes in Computer Science ; 6489. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2011.
<M17-11-3202>
国立国会図書館
Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011 : Vancouver, Canada, May 16-19, 2011 : proceedings. : LPNMR-11 : May 2011, Vancouver, Canada. (Lecture Notes in Computer Science ; 6645. Lecture Notes in Artificial Intelligence)
Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011 : Vancouver, Canada, May 16-19, 2011 : proceedings. : LPNMR-11 : May 2011, Vancouver, Canada. (Lecture Notes in Computer Science ; 6645. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2011.
<M17-11-2321>
国立国会図書館
A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (eds.). (Lecture notes in computer science ; 6125 ; State-of-the-art survey)
A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (eds.). (Lecture notes in computer science ; 6125 ; State-of-the-art survey)
紙
図書
Springer
c2010.
<X>
国立国会図書館
Inductive logic programming : 19th international conference, ILP 2009 : Leuven, Belgium, July 02-04, 2009 : revised papers. : ILP-2009 : Jul 2009, Leuven, Belgium. (Lecture Notes in Computer Science ; 5989. Lecture Notes in Artificial Intelligence)
Inductive logic programming : 19th international conference, ILP 2009 : Leuven, Belgium, July 02-04, 2009 : revised papers. : ILP-2009 : Jul 2009, Leuven, Belgium. (Lecture Notes in Computer Science ; 5989. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2010.
<M17-11-139>
国立国会図書館
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. : LPAR : Oct 2010, Yogyakarta, Indonesia. (Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. : LPAR : Oct 2010, Yogyakarta, Indonesia. (Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2010.
<M17-11-267>
国立国会図書館
Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)
Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)
紙
図書
Springer
c2008.
<M17-09-1306>
国立国会図書館
Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009 : Potsdam, Germany, September 14-18, 2009 : proceedings. : Sep 2009, Potsdam, Germany. (Lecture Notes in Computer Science ; 5753. Lecture Notes in Artificial Intelligence)
Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009 : Potsdam, Germany, September 14-18, 2009 : proceedings. : Sep 2009, Potsdam, Germany. (Lecture Notes in Computer Science ; 5753. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2009.
<M17-10-1766>
国立国会図書館
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008 : Valencia, Spain, July 17-18, 2008 : revised selected papers. : Jul 2008, Valencia, Spain. (Lecture Notes in Computer Science ; 5438)
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008 : Valencia, Spain, July 17-18, 2008 : revised selected papers. : Jul 2008, Valencia, Spain. (Lecture Notes in Computer Science ; 5438)
紙
図書
Springer
c2009.
<M17-09-1304>
国立国会図書館
Inductive logic programming : 18th international conference, ILP 2008 : Prague, Czech Republic, September 10-12, 2008 : proceedings. : Sep 2008, Prague, Czech Republic. (Lecture Notes in Computer Science ; 5194. Lecture Notes in Artificial Intelligence)
Inductive logic programming : 18th international conference, ILP 2008 : Prague, Czech Republic, September 10-12, 2008 : proceedings. : Sep 2008, Prague, Czech Republic. (Lecture Notes in Computer Science ; 5194. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2008.
<M17-09-205>
国立国会図書館
Probabilistic inductive logic programming : theory and applications / Luc De Raedt ... [et al.] (eds.). (Lecture notes in computer science ; 4911 ; Lecture notes in artificial intelligence. State-of-the-art survey)
Probabilistic inductive logic programming : theory and applications / Luc De Raedt ... [et al.] (eds.). (Lecture notes in computer science ; 4911 ; Lecture notes in artificial intelligence. State-of-the-art survey)
紙
図書
Springer
c2008.
<X>
国立国会図書館
Inductive logic programming : 17th international conference, ILP 2007 : Corvallis, OR, USA, June 19-21, 2007 : revised selected papers. : Jun 2007, Corvallis, OR. (Lecture Notes in Computer Science ; 4894. Lecture Notes in Artificial Intelligence)
Inductive logic programming : 17th international conference, ILP 2007 : Corvallis, OR, USA, June 19-21, 2007 : revised selected papers. : Jun 2007, Corvallis, OR. (Lecture Notes in Computer Science ; 4894. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2008.
<M17-08-1250>
国立国会図書館
Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007 : Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers. : Aug 2007, Kongens Lyngby, Denmark. (Lecture Notes in Computer Science ; 4915)
Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007 : Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers. : Aug 2007, Kongens Lyngby, Denmark. (Lecture Notes in Computer Science ; 4915)
紙
図書
Springer
c2008.
<M17-08-943>
国立国会図書館
Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings. : Nov 2008, Doha, Qatar. (Lecture Notes in Computer Science ; 5330. Lecture Notes in Artificial Intelligence)
Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings. : Nov 2008, Doha, Qatar. (Lecture Notes in Computer Science ; 5330. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2008.
<M17-10-536>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力