柴田直樹: "有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装"情報処理学会第59回(平成11年後期)全国大会講演論文集. 1-171-1-172 (1999)
柴田直樹: "有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装"情報処理学会第59回(平成11年後期)全国大会講演論文集. 1-171-1-172 (1999)
复制标题
Naoki Shibata：“使用多面体划分来确定理性 Presburger 句子的真伪的算法及其实现”日本信息处理学会第 59 届（1999 年末）全国会议记录 1-171-1-172（1999 年）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
