自然推論による微積の初歩の完全な形式化とそのプルーフ・チェッカー(アルゴリズムと計算量理論)
スポンサーリンク
概要
著者
関連論文
- 時間を入れたブール代数の公理系 (数理情報科学の基礎理論と応用)
- 価値科学と価値論理学の諸法則(計算理論とアルゴリズムの新展開)
- 『論語』の公理化⇒孔子のAI化へ : その基礎
- ソフト宇宙論 : 異種論理系への埋込み
- 価値計算について、『論語』論理の場合 (アルゴリズムと計算の理論)
- 推論エンジン, 「論語」論理の場合(計算理論とその応用)
- 2層プラナー(計画器)の提案:自然言語理解のために(計算モデルと計算の複雑さに関する研究)
- 自然推論による微積の初歩の完全な形式化とそのプルーフ・チェッカー(アルゴリズムと計算量理論)
- 『論語』における価値と感情の論理(計算量理論)
- 『論語』の公理化⇒孔子のAI化へ:その背景(計算機構とアルゴリズム)
- ソフト宇宙論 : 異種論理系への埋込み(計算および計算量理論とその周辺)
- Finite Automatonによる自己写像の最大不変集合について (情報科学の数学的理論)