卡尼韦茨,V.A。 超词上有限模糊序列变换器比较问题的算法可解性。 (英语。俄文原件) Zbl 0752.68057号 控制论 25,第2期,132-138(1989); 译自Kibernetika 1989年,第2期,第5-9期,第19期(1989年)。MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Kanivets},《控制论》25,第2期,132--138(1989;Zbl 0752.68057);译自Kibernetika 1989,No.2,5--9,19(1989) 全文: 内政部
曼弗雷德·施密特·沙乌 KL-ONE中的沉没是不可判定的。 (英文) Zbl 0709.68096号 知识表示和推理原理。第一。国际会议,多伦多/加拿大。1989, 421-431 (1989).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式