Automated forward deduction based on strong relevent logics and its applications 強相関論理に基づいた自動前向き演繹とその応用
著者
書誌事項
Automated forward deduction based on strong relevent logics and its applications = 強相関論理に基づいた自動前向き演繹とその応用
Yuichi Goto, 2005
- タイトル読み
-
Automated forward deduction based on strong relevent logics and its applications = キョウ ソウカン ロンリ ニ モトズイタ ジドウ マエムキ エンエキ ト ソノ オウヨウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Thesis(doctoral)--Saitama University, 2005, 博理工甲第522号