| NCID | BA71946753 |
| タイトル | Automated forward deduction based on strong relevent logics and its applications = 強相関論理に基づいた自動前向き演繹とその応用 / Yuichi Goto||Automated forward deduction based on strong relevent logics and its applications = キョウ ソウカン ロンリ ニ モトズイタ ジドウ マエムキ エンエキ ト ソノ オウヨウ |
| 出版者 | [Saitama] : Yuichi Goto , 2005 |
| 形態 | vii, 67 leaves ; 31 cm |
| 注記 | Thesis(doctoral)--Saitama University, 2005, 博理工甲第522号 |
| 著者情報 | 後藤, 祐一 (ゴトウ, ユウイチ)
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | 日本 |