国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(3)
2000年代
(3)
2010年代
(6)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(12)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(12)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 12 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Deontic logic and normative systems : 12th international conference, DEON 2014 : Ghent, Belgium, July 12-15, 2014 : proceedings : biennial ΔEON conferences : Jul 2014, Ghent, Belgium. (Lecture Notes in Computer Science ; 8554. Lecture Notes in Artificial Intelligence)
Deontic logic and normative systems : 12th international conference, DEON 2014 : Ghent, Belgium, July 12-15, 2014 : proceedings : biennial ΔEON conferences : Jul 2014, Ghent, Belgium. (Lecture Notes in Computer Science ; 8554. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
[2014]
<M17-15-728>
国立国会図書館
件名
Computer logic--Congresses.
Deontic logic--Congresses.
Computer logic. Deontic logic...
Deontic logic in computer science : 9th international conference, DEON 2008 : Luxembourg, Luxembourg, July 15-18, 2008 : proceedings. : Jul 2008, Luxembourg, Luxembourg. (Lecture Notes in Computer Science ; 5076. Lecture Notes in Artificial Intelligence)
Deontic logic in computer science : 9th international conference, DEON 2008 : Luxembourg, Luxembourg, July 15-18, 2008 : proceedings. : Jul 2008, Luxembourg, Luxembourg. (Lecture Notes in Computer Science ; 5076. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2008.
<M17-08-1934>
国立国会図書館
Deontic logic in computer science : 10th international conference, DEON 2010 : Fiesole, Italy, July 7-9, 2010 : proceedings. : Jul 2010, Fiesole, Italy. (Lecture Notes in Computer Science ; 6181. Lecture Notes in Artificial Intelligence)
Deontic logic in computer science : 10th international conference, DEON 2010 : Fiesole, Italy, July 7-9, 2010 : proceedings. : Jul 2010, Fiesole, Italy. (Lecture Notes in Computer Science ; 6181. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2010.
<M17-11-156>
国立国会図書館
Deontic logic and artificial normative systems : 8th international workshop on deontic logic in computer science, DEON 2006 : Utrecht, the Netherlands, July 12-14, 2006 : proceedings. : biennial DEON workshops : Jul 2006, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 4048. Lecture Notes in Artificial Intelligence)
Deontic logic and artificial normative systems : 8th international workshop on deontic logic in computer science, DEON 2006 : Utrecht, the Netherlands, July 12-14, 2006 : proceedings. : biennial DEON workshops : Jul 2006, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 4048. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2006.
<M17-06-2276>
国立国会図書館
Deontic logic in computer science : 7th international workshop on deontic logic in computer science, DEON 2004 : Madeira, Portugal, May 26-28, 2004 : proceedings. : May 2004, Madeira, Portugal. (Lecture Notes in Computer Science ; 3065. Lecture Notes in Artificial Intelligence)
Deontic logic in computer science : 7th international workshop on deontic logic in computer science, DEON 2004 : Madeira, Portugal, May 26-28, 2004 : proceedings. : May 2004, Madeira, Portugal. (Lecture Notes in Computer Science ; 3065. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2004.
<M17-04-3206>
国立国会図書館
Deontic logic and normative systems : 13th international conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016 : pbk
Deontic logic and normative systems : 13th international conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016 : pbk
紙
図書
edited by Olivier Roy, Allard Tamminga and Malte Willer
College Publications
c2016
全国の図書館
Deontic logic and normative systems : 14th international conference, DEON 2016, Utrecht, The Netherlands, 3-6 July, 2018
Deontic logic and normative systems : 14th international conference, DEON 2016, Utrecht, The Netherlands, 3-6 July, 2018
紙
図書
edited by Jan Broersen ... [et all.] (eds.)
College Publications
c2018
全国の図書館
Deontic logic and normative systems : 12th international conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings : pbk
Deontic logic and normative systems : 12th international conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings : pbk
紙
図書
Fabrizio Cariani ... [et al.] (eds.)
Springer
c2014
全国の図書館
Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings : pbk
Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings : pbk
紙
図書
Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
Springer
c2012
全国の図書館
Deontic logic, agency and normative systems : ΔEON '96 : third international workshop on deontic logic in computer science, Sesimbra, Portugal, 11-13 January 1996 : pbk
Deontic logic, agency and normative systems : ΔEON '96 : third international workshop on deontic logic in computer science, Sesimbra, Portugal, 11-13 January 1996 : pbk
紙
図書
Mark A. Brown and José Carmo (eds)
Springer published in collaboration with the British Computer Society
c1996
全国の図書館
Deontic logic, agency, and normative systems : [Delta]EON '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 pbk. : alk. paper
Deontic logic, agency, and normative systems : [Delta]EON '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 pbk. : alk. paper
紙
図書
Mark A. Brown and José Carmo, eds
Springer
1995
全国の図書館
Deontic logic in computer science : normative system specification
Deontic logic in computer science : normative system specification
紙
図書
edited by John-Jules Ch. Meyer and Roel J. Wieringa
J. Wiley
c1993
全国の図書館
検索結果は以上です。
書誌情報を一括出力