吉奥瓦尼·吉达;马尔科·索马利维科 问题表示和搜索中的语义。 （英语） Zbl 0345.68037号 信息处理。莱特。 5, 141-145 (1976). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68瓦99 计算机科学中的算法 68吨10 模式识别、语音识别 PDF格式BibTeX公司 XML格式引用 \textit{G.Guida}和\textit{M.Somalvico}，Inf.过程。莱特。5、141--145（1976年；Zbl 0345.68037） 全文： DOI程序 参考文献： [1] Berge，C.，Théorie des Grapes et ses Applications（1958），杜诺德：杜诺德巴黎·Zbl 0214.50804号 [2] 列维·G。；Sirovich，F.，《广义与或图及其与形式语言的关系》（Nota Interna B73-15（1973年11月），IEI:IEI Pisa） [3] Chang，C.L。；Slagle，J.R.，搜索与/或图的一种可接受的最佳算法，人工智能，2117-128（1971）·Zbl 0227.68016号 [4] VanderBurg，G.J。；Minker，J.，状态空间，问题推导和定理证明-一些关系，CACM，2107-115（1975）·Zbl 0323.68054号 [5] 列维·G。；Sirovich，F.，非独立子问题的问题修正模型，Proc。第四届国际JCAI（1975年9月3日至8日），第比利斯 [6] Guida，G。；Mandrioli，D.，《关于解决问题复杂性的一些思考》（1975年12月） [7] Nilsson，N.，《人工智能中的问题解决方法》（1971），McGraw-Hill:McGraw-Hill纽约 [8] Sangiovanni Vincentelli，A。；Somalvico，M.，《解决问题的状态空间方法》。优化（第五届IFIP Conf.Optimization Techniques·Zbl 0376.68062号 [9] Sangiovanni Vincentelli，A。；Somalvico，M.，解决问题的国家空间方法的理论方面，纳穆尔。Namur，程序。第7期实习生。控制论大会（1973年9月） [10] C.休伊特，如何使用你所知道的。程序。第四名实习生。人工智能联合会议，苏联第比利斯（1975年9月3日至8日）。；C.休伊特，如何使用你所知道的。程序。第四名实习生。人工智能联合会议，苏联第比利斯（1975年9月3日至8日）。 [11] G.Guida、D.Mandario、A.Paci和M.Somalvico，作为复杂性理解和自动问题解决代数基础的问题综合理论，Proc。第七届IFIP Conf.Optimization Techniques，法国尼斯（1975年9月3日至11日）。；G.Guida、D.Mandario、A.Paci和M.Somalvico，作为复杂性理解和自动问题解决代数基础的问题综合理论，Proc。第七届IFIP Conf.Optimization Techniques，法国尼斯（1975年9月3日至11日）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。