Jump to main content

yr 〜
yr

Search results 5

論理体系の意味論と文法的性質の関係

論理体系の意味論と文法的性質の関係
Paper図書
桜井, 貴文, 千葉大学2000-2001<Y151-H12680329>
National Diet Library
  • Subject Heading様相部分構造命題論理 カツト除去 正規化 文法的性質 explicit envi...

セクストス・エンペイリコスにおけるヘレニズム認識論・論理学・言語哲学の研究

セクストス・エンペイリコスにおけるヘレニズム認識論・論理学・言語哲学の研究
Paper図書
金山萬里子, 大阪医科大学 [著][金山萬里子]2004-2006<Y151-H16520028>
National Diet Library
  • Subject Heading懐疑 / 認識 / 命題論理学 / セクストス・エンペイリコス / アカデメイア派 / ...

組合せ問題におけるラグランジユの方法による解空間の探索に関する研究

組合せ問題におけるラグランジユの方法による解空間の探索に関する研究
Paper図書
永松, 正博, 九州工業大学1999-2000<Y151-H11680363>
National Diet Library
  • Subject Heading命題論理 充足可能性問題 ニユーラルネツトワーク 探索 タブ探索 ラ...

アルゴリズム論に関する総合的研究

アルゴリズム論に関する総合的研究
Paper図書
小林, 孝次郎, 東京工業大学1994-1996<Y151-H06302013>
National Diet Library
  • Subject Heading微分方程式の同定 知識命題論理 代数的意味論 関係代数 プログラムの検証 時相論理 蛋白質...

計算論的関連性理論に基づく条件文理解過程の理論的・実証的研究

計算論的関連性理論に基づく条件文理解過程の理論的・実証的研究
Digital文書・図像類
松井, 理直2009-06-24
Other Libraries in Japan
  • Subject Heading関連性理論 条件付き確率 命題論理 真理値 条件文理解 推論

Reached to the end of result.

RSS