Meta-prolog with plausible reasoning

碩士 === 國立臺灣大學 === 資訊科學研究所 === 75 ===

Bibliographic Details
Main Authors: CHEN, JUN-XIU, 陳俊秀
Other Authors: LIN, YI-PENG
Format: Others
Language:zh-TW
Published: 1987
Online Access:http://ndltd.ncl.edu.tw/handle/26015437599623477909