Jump to main content

yr 〜
yr

Search results 72

プログラム理論

プログラム理論
Paper図書
原尾政輝 著三恵社2006.10<M159-H1648>
National Diet Library
  • Author Heading原尾, 政輝

医療データベースからの感染症発生予測規則の抽出

医療データベースからの感染症発生予測規則の抽出
Paper図書
原尾政輝, 九州工業大学 [著][原尾政輝]2001-2004<Y151-H13558036>
National Diet Library
  • Author Heading原尾, 政輝 九州工業大学

人工知能のための高次推論原理と知能プログラミング言語に関する総合的研究

人工知能のための高次推論原理と知能プログラミング言語に関する総合的研究
Paper図書
原尾政輝, 九州工業大学1995-1996<Y151-H07308027>
National Diet Library
  • Author Heading原尾, 政輝

ロジカルフレームワーク理論に基づく推論原理とその発見的推論システムへの応用

ロジカルフレームワーク理論に基づく推論原理とその発見的推論システムへの応用
Paper図書
原尾, 政輝, 九州工業大学1995-1996<Y151-H07680405>
National Diet Library
  • Author Heading原尾, 政輝

型理論に基づく高階推論機構の形式化とその類推処理への応用

型理論に基づく高階推論機構の形式化とその類推処理への応用
Paper図書
原尾, 政輝, 九州工業大学1992-1993<Y151-H04650320>
National Diet Library
  • Author Heading原尾, 政輝

人工知能アルゴリズム論 (アルゴリズム・シリーズ ; 4)

人工知能アルゴリズム論 (アルゴリズム・シリーズ ; 4)
PaperDigital図書
原尾政輝 著近代科学社1993.5<M121-E212>
National Diet LibraryOther Libraries in Japan
  • Author Heading原尾, 政輝

医療データベースからの感染症発生予測規則の抽出

医療データベースからの感染症発生予測規則の抽出
Paper図書
研究代表者 原尾政輝[九州工業大学]2005.5
Other Libraries in Japan
  • Author Heading原尾, 政輝

高階論理における単一化アルゴリズムと定理証明の機械化に関する研究

高階論理における単一化アルゴリズムと定理証明の機械化に関する研究
Paper図書
原尾, 政輝, 九州工業大学1989-1990<Y151-H01580020>
National Diet Library
  • Author Heading原尾, 政輝

時空間様相論理に基づくシステム記述言語の設計とその回路自動設計問題への応用

時空間様相論理に基づくシステム記述言語の設計とその回路自動設計問題への応用
Paper図書
原尾, 政輝, 山形大学1985-1986<Y151-S60580016>
National Diet Library
  • Author Heading原尾, 政輝

ロジカルフレ-ムワ-ク理論に基づく推論原理とその発見的推論システムへの応用

ロジカルフレ-ムワ-ク理論に基づく推論原理とその発見的推論システムへの応用
Paper図書
研究代表者 原尾政輝[九州工業大学]1997.3
Other Libraries in Japan
  • Author Heading原尾, 政輝

型理論に基づく高階推論機構の形式化とその類推処理への応用

型理論に基づく高階推論機構の形式化とその類推処理への応用
Paper図書
研究代表者 原尾政輝[九州工業大学]1994.3
Other Libraries in Japan
  • Author Heading原尾, 政輝

言語学の数理モデル (現代言語学の基礎シリーズ ; 2)

言語学の数理モデル (現代言語学の基礎シリーズ ; 2)
PaperDigital図書障害者向け資料あり
モリース・グロス 著, 原尾政輝, 樺沢康夫 訳研究社出版1979.6<KE21-5>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author HeadingGross, Maurice, 1934- 原尾, 政輝 樺沢, 康夫

反復論理回路に関する基礎的研究

反復論理回路に関する基礎的研究
Paper博士論文
原尾政輝 [著]<UT51-47-F87>
National Diet Library
  • Author Heading原尾, 政輝

現代言語学の基礎シリーズ ２

現代言語学の基礎シリーズ ２
Paper図書
サンフォード・Ａ．シェイン 編研究社出版1979
Other Libraries in Japan

反復論理回路に関する基礎的研究

反復論理回路に関する基礎的研究
Digital文書・図像類
原尾, 政輝1971333
Other Libraries in Japan
  • Author Heading原尾, 政輝

人工知能学会誌 : AI

人工知能学会誌 : AI
Paper雑誌雑誌タイトル
人工知能学会1986-2013<Z14-1242>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

崇城大学研究報告

崇城大学研究報告
Paper雑誌雑誌タイトル
崇城大学2006-2010<Z14-648>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
Paper雑誌雑誌タイトル
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数理科学

数理科学
PaperDigital雑誌雑誌タイトル
サイエンス社<Z15-30>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  
RSS