%0 Journal Article
%T 搜索算法的逻辑分析*
%A 张玉平
%J -
%D 1999
%X 搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定.这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性
%K 搜索算法
%K 一阶逻辑
%K 模型.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19990212&flag=1