国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1960年代
(2)
1970年代
(18)
1980年代
(16)
1990年代
(13)
2000年代
(22)
2010年代
(3)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(14)
雑誌
(56)
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(2)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(1)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(30)
紙
(42)
マイクロ
記録メディア
(2)
すべて解除
絞り込み条件
絞り込み条件
検索結果 72 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
プログラム理論
プログラム理論
紙
図書
原尾政輝 著
三恵社
2006.10
<M159-H1648>
国立国会図書館
医療データベースからの感染症発生予測規則の抽出
医療データベースからの感染症発生予測規則の抽出
紙
図書
原尾政輝, 九州工業大学 [著]
[原尾政輝]
2001-2004
<Y151-H13558036>
国立国会図書館
人工知能のための高次推論原理と知能プログラミング言語に関する総合的研究
人工知能のための高次推論原理と知能プログラミング言語に関する総合的研究
紙
図書
原尾政輝, 九州工業大学
1995-1996
<Y151-H07308027>
国立国会図書館
ロジカルフレームワーク理論に基づく推論原理とその発見的推論システムへの応用
ロジカルフレームワーク理論に基づく推論原理とその発見的推論システムへの応用
紙
図書
原尾, 政輝, 九州工業大学
1995-1996
<Y151-H07680405>
国立国会図書館
型理論に基づく高階推論機構の形式化とその類推処理への応用
型理論に基づく高階推論機構の形式化とその類推処理への応用
紙
図書
原尾, 政輝, 九州工業大学
1992-1993
<Y151-H04650320>
国立国会図書館
人工知能アルゴリズム論 (アルゴリズム・シリーズ ; 4)
人工知能アルゴリズム論 (アルゴリズム・シリーズ ; 4)
紙
デジタル
図書
原尾政輝 著
近代科学社
1993.5
<M121-E212>
国立国会図書館
全国の図書館
医療データベースからの感染症発生予測規則の抽出
医療データベースからの感染症発生予測規則の抽出
紙
図書
研究代表者 原尾政輝
[九州工業大学]
2005.5
全国の図書館
高階論理における単一化アルゴリズムと定理証明の機械化に関する研究
高階論理における単一化アルゴリズムと定理証明の機械化に関する研究
紙
図書
原尾, 政輝, 九州工業大学
1989-1990
<Y151-H01580020>
国立国会図書館
時空間様相論理に基づくシステム記述言語の設計とその回路自動設計問題への応用
時空間様相論理に基づくシステム記述言語の設計とその回路自動設計問題への応用
紙
図書
原尾, 政輝, 山形大学
1985-1986
<Y151-S60580016>
国立国会図書館
ロジカルフレ-ムワ-ク理論に基づく推論原理とその発見的推論システムへの応用
ロジカルフレ-ムワ-ク理論に基づく推論原理とその発見的推論システムへの応用
紙
図書
研究代表者 原尾政輝
[九州工業大学]
1997.3
全国の図書館
型理論に基づく高階推論機構の形式化とその類推処理への応用
型理論に基づく高階推論機構の形式化とその類推処理への応用
紙
図書
研究代表者 原尾政輝
[九州工業大学]
1994.3
全国の図書館
言語学の数理モデル (現代言語学の基礎シリーズ ; 2)
言語学の数理モデル (現代言語学の基礎シリーズ ; 2)
紙
デジタル
図書
モリース・グロス 著, 原尾政輝, 樺沢康夫 訳
研究社出版
1979.6
<KE21-5>
インターネットで読める
国立国会図書館
全国の図書館
反復論理回路に関する基礎的研究
反復論理回路に関する基礎的研究
紙
博士論文
原尾政輝 [著]
<UT51-47-F87>
国立国会図書館
現代言語学の基礎シリーズ 2
現代言語学の基礎シリーズ 2
紙
図書
サンフォード・A.シェイン 編
研究社出版
1979
全国の図書館
反復論理回路に関する基礎的研究
反復論理回路に関する基礎的研究
デジタル
文書・図像類
原尾, 政輝
1971
333
全国の図書館
人工知能学会誌 : AI
人工知能学会誌 : AI
紙
雑誌
人工知能学会
1986-2013
<Z14-1242>
国立国会図書館
全国の図書館
崇城大学研究報告
崇城大学研究報告
紙
雑誌
崇城大学
2006-2010
<Z14-648>
国立国会図書館
全国の図書館
電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
紙
雑誌
電子情報通信学会 編
電子情報通信学会情報・システムソサイエティ
1989-2005
<Z16-779>
国立国会図書館
全国の図書館
電子情報通信学会技術研究報告 : 信学技報
電子情報通信学会技術研究報告 : 信学技報
紙
雑誌
電子情報通信学会
1987-2020
<Z16-940>
国立国会図書館
全国の図書館
数理科学
数理科学
紙
デジタル
雑誌
サイエンス社
<Z15-30>
国立国会図書館
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力