計算機による論理式の処理-2-改良Nelson法による最簡形式を求めるソフトウェアシステム

スポンサーリンク

概要

• 論文の詳細を見る
• 明治大学科学技術研究所の論文

著者

• 向殿 政男

  School Of Science And Technology Meiji University

関連論文

• 多値論理代数の完全な公理系発見への未定係数法の応用
• クリーネ代数の公理の独立性について
• 代数の公理系を満たす有限モデルの導出アルゴリズムの改良
• 計算機による論理式の処理-2-改良Nelson法による最簡形式を求めるソフトウェアシステム
• インターネット情報検索ツールと文字型データベースとの連携に関する研究
• N1プロトコルによるネットワークとTCP/IPプロトコルによるネットワーク間の通信を可能にするゲートウェイソフトウエアの実装に関する研究

スポンサーリンク