国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
2000年代
(6)
2010年代
(4)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(2)
雑誌
(7)
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(10)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 10 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Studies on knowledge representation and reasoning with ordered binary decision diagrams
Studies on knowledge representation and reasoning with ordered binary decision diagrams
紙
博士論文
Takashi Horiyama
[著]
[
Takashi Horiyama
]
2004
<UT51-2004-G975>
国立国会図書館
電子情報通信学会技術研究報告 : 信学技報
電子情報通信学会技術研究報告 : 信学技報
紙
雑誌
電子情報通信学会
1987-2020
<Z16-940>
国立国会図書館
全国の図書館
このタイトルの巻号
数理解析研究所講究録
数理解析研究所講究録
紙
雑誌
京都大学数理解析研究所
1964-
<Z43-1336>
国立国会図書館
全国の図書館
このタイトルの巻号
情報処理学会研究報告
情報処理学会研究報告
紙
雑誌
情報処理学会
[1985]-2009
<Z14-1121>
国立国会図書館
全国の図書館
このタイトルの巻号
SASIMI 2003 : proceedings of the Workshop on Synthesis and System Integration of Mixed Information Technologies : April 3-4, 2003 Hiroshima, Japan
SASIMI 2003 : proceedings of the Workshop on Synthesis and System Integration of Mixed Information Technologies : April 3-4, 2003 Hiroshima, Japan
紙
図書
[Organizing Committee]
c2003
<M18-B226>
国立国会図書館
目次・記事
... Nobuhiro Doi||
Takashi Horiyama
||Masaki Nakanishi||Shinji Kim...
SASIMI 2004 : proceedings of the Workshop on Synthesis and System Integration of Mixed Information Technologies : October 18-19, 2004, Kanazawa, Japan
SASIMI 2004 : proceedings of the Workshop on Synthesis and System Integration of Mixed Information Technologies : October 18-19, 2004, Kanazawa, Japan
紙
図書
SASIMI Workshop
c2004
<M18-B415>
国立国会図書館
目次・記事
... Nobuhiro Doi||
Takashi Horiyama
||Masaki Nakanishi||Shinji Kim...
検索結果は以上です。
書誌情報を一括出力