Applications of the rule network in expert systems and theorem proving
碩士 === 國立中山大學 === 電機工程研究所 === 80 ===
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | en_US |
Published: |
1992
|
Online Access: | http://ndltd.ncl.edu.tw/handle/87176693995035514587 |
id |
ndltd-TW-080NSYS2442011 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-TW-080NSYS24420112015-10-13T14:20:25Z http://ndltd.ncl.edu.tw/handle/87176693995035514587 Applications of the rule network in expert systems and theorem proving 規則網路在專家系統及定理證明之應用 WU, ZHI-HONG 吳志宏 碩士 國立中山大學 電機工程研究所 80 LI, XI-ZHI 李錫智 1992 學位論文 ; thesis 67 en_US |
collection |
NDLTD |
language |
en_US |
format |
Others
|
sources |
NDLTD |
description |
碩士 === 國立中山大學 === 電機工程研究所 === 80 ===
|
author2 |
LI, XI-ZHI |
author_facet |
LI, XI-ZHI WU, ZHI-HONG 吳志宏 |
author |
WU, ZHI-HONG 吳志宏 |
spellingShingle |
WU, ZHI-HONG 吳志宏 Applications of the rule network in expert systems and theorem proving |
author_sort |
WU, ZHI-HONG |
title |
Applications of the rule network in expert systems and theorem proving |
title_short |
Applications of the rule network in expert systems and theorem proving |
title_full |
Applications of the rule network in expert systems and theorem proving |
title_fullStr |
Applications of the rule network in expert systems and theorem proving |
title_full_unstemmed |
Applications of the rule network in expert systems and theorem proving |
title_sort |
applications of the rule network in expert systems and theorem proving |
publishDate |
1992 |
url |
http://ndltd.ncl.edu.tw/handle/87176693995035514587 |
work_keys_str_mv |
AT wuzhihong applicationsoftherulenetworkinexpertsystemsandtheoremproving AT wúzhìhóng applicationsoftherulenetworkinexpertsystemsandtheoremproving AT wuzhihong guīzéwǎnglùzàizhuānjiāxìtǒngjídìnglǐzhèngmíngzhīyīngyòng AT wúzhìhóng guīzéwǎnglùzàizhuānjiāxìtǒngjídìnglǐzhèngmíngzhīyīngyòng |
_version_ |
1717752177885184000 |