一套可用於證明若干數學算式特性之自動推論系統的設計與製作
| Autor: | Xu, Xiu-Ying, 許秀影 |
|---|---|
| Rok vydání: | 1986 |
| Druh dokumentu: | 學位論文 ; thesis |
| Popis: | 74 |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|
| Autor: | Xu, Xiu-Ying, 許秀影 |
|---|---|
| Rok vydání: | 1986 |
| Druh dokumentu: | 學位論文 ; thesis |
| Popis: | 74 |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|