A semantics-based analysis for logic programs

碩士 === 國立交通大學 === 資訊及電子工程研究所 === 80 ===

Bibliographic Details
Main Authors: SU, YUAN-LIANG, 蘇元良
Other Authors: ZENG, JIAN-CHAO
Format: Others
Language:zh-TW
Published: 1992
Online Access:http://ndltd.ncl.edu.tw/handle/95423312957462351786