近藤久: "BDD表現を用いた複数優先順位を扱う項書換え系完備化推論規則"第58回(平成11年前期)情報処理学会全国大会. 2. 241-242 (1999)
近藤久: "BDD表現を用いた複数優先順位を扱う項書換え系完備化推論規則"第58回(平成11年前期)情報処理学会全国大会. 2. 241-242 (1999)
复制标题
Hisashi Kondo：“使用 BDD 表示处理多个优先级的术语重写系统的完整推理规则”第 58 届（1999 年上半年）日本信息处理学会全国会议 2. 241-242（1999 年）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
