清水 智 | いわき短期大学
スポンサーリンク
概要
関連著者
著作論文
- 系列化課題の解決過程 : 人間とLISPによる処理プロセスの比較
- 自然言語の構文解析とLISPによるその処理
- Basic Logicを含むFitchの論理について
- 導出原理の構成的論理による解釈
- 強い否定を含む構成的論理によるPROLOGの定式化とLISPに基づくそのメタ論理
- 下降型縦型探索法を中心にした構文解析の論理構造に関する一考察
- レスニェウスキー存在論の一階述語論理的部分系と論理文法との関連について
- 強い否定を含む構成的命題論理と直観主義論理の関連について
- 強い否定を含む構成的命題論理について