An instruction set of closed environments for logic programs

An instruction set of closed environments for logic programs

碩士 === 國立交通大學 === 資訊工程研究所 === 78 ===

Bibliographic Details
Main Authors:	WU,GUO-LIANG, 吳國樑
Other Authors:	ZENG,JIAN-CHAO
Format:	Others
Language:	zh-TW
Published:	1991
Online Access:	http://ndltd.ncl.edu.tw/handle/60697679965061894797

Description
Summary:	碩士 === 國立交通大學 === 資訊工程研究所 === 78 ===