| dc.contributor | IEEE | en_US |
| dc.contributor | 國立政治大學資訊科學系 | en_US |
| dc.creator (作者) | 張宏慶 | zh_TW |
| dc.date (日期) | 1992-10 | en_US |
| dc.date.accessioned | 27-May-2010 16:51:43 (UTC+8) | - |
| dc.date.available | 27-May-2010 16:51:43 (UTC+8) | - |
| dc.date.issued (上傳時間) | 27-May-2010 16:51:43 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/39849 | - |
| dc.language | en-US | en_US |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | IEEE International Conference on Systems, Man, and Cybernetics | en_US |
| dc.subject (關鍵詞) | Knowledge--Based Systems Verification | en_US |
| dc.title (題名) | A Framework for Knowledge--Based Systems Verification | en_US |
| dc.type (資料類型) | conference | en |
