国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
2000年代
(4)
2010年代
(24)
2020年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
雑誌
(29)
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(5)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(25)
マイクロ
記録メディア
(5)
すべて解除
絞り込み条件
絞り込み条件
検索結果 30 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Studies on applying incremental SAT solving to optimization and enumeration problems
Studies on applying incremental SAT solving to optimization and enumeration problems
紙
博士論文
Takehide Soh [著]
[Takehide Soh]
[2011]
<UT51-2011-S481>
国立国会図書館
コンピュータソフトウェア
コンピュータソフトウェア
紙
雑誌
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-
<Z14-1033>
国立国会図書館
全国の図書館
人工知能基本問題研究会 (人工知能学会研究会資料)
人工知能基本問題研究会 (人工知能学会研究会資料)
紙
雑誌
人工知能学会
2004-
<Z14-1667>
国立国会図書館
日本ソフトウェア科学会大会論文集
日本ソフトウェア科学会大会論文集
紙
雑誌
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-2019
<Z14-1245>
国立国会図書館
全国の図書館
情報処理 : 情報処理学会誌 : IPSJ magazine
情報処理 : 情報処理学会誌 : IPSJ magazine
紙
雑誌
情報処理学会
1960-
<Z14-352>
国立国会図書館
全国の図書館
人工知能学会誌 : AI
人工知能学会誌 : AI
紙
雑誌
人工知能学会
1986-2013
<Z14-1242>
国立国会図書館
全国の図書館
奈良工業高等専門学校研究紀要
奈良工業高等専門学校研究紀要
紙
雑誌
奈良工業高等専門学校 編
奈良工業高等専門学校
1965-2012
<Z22-244>
国立国会図書館
全国の図書館
電子情報通信学会技術研究報告 : 信学技報
電子情報通信学会技術研究報告 : 信学技報
紙
雑誌
電子情報通信学会
1987-2020
<Z16-940>
国立国会図書館
全国の図書館
人工知能学会全国大会論文集
人工知能学会全国大会論文集
記録メディア
雑誌
電子資料
人工知能学会
2001-
<YH247-23>
国立国会図書館
検索結果は以上です。
書誌情報を一括出力