文献详情


搜索算法的逻辑分析

外文标题	The Logical Analysis of Search Algorithms
文献类型	期刊
作者	Zhang, Yuping[1]
机构	[1]Beijing Univ of Aeronautics and, Astronautics, Beijing, China ↓
通讯作者	Zhang, Yuping
来源信息	年:1999卷:10期:2页码范围:175-180
期刊信息	软件学报ISSN:1000-9825
关键词	搜索算法;一阶逻辑;模型
摘要	搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定.这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性.
收录情况	EI(2000215117022)PKUCSCD
链接地址	http://d.g.wanfangdata.com.cn/Periodical_rjxb199902012.aspx
人气指数	1
浏览次数	1
基金	中国科学院资助项目; 航空高校自选项目

全文|
影响因子：


暂无成果共有人
dc:title:搜索算法的逻辑分析
dc:creator:张玉平
dc:date: publishDate:1999-02-05
dc:type:期刊
dc:format: Media：软件学报
dc:identifier: LnterrelatedLiterature：软件学报.1999,10(2),175-180.
dc:identifier:DOI：
dc: identifier:ISBN:1000-9825