Atomless Probability Algebraの理論における量化子消去アルゴリズム
Atomless Probability Algebraの理論における量化子消去アルゴリズム
复制标题
无原子概率代数理论中的量词消除算法
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Munehiro Kobayashi
中科院分区：
文献类型：
--
作者：
Kota Takeuchi;Yu-ichi Tanaka and Akito Tsuboi;Takayuki Kuriyama and Kota Takeuchi;Akito Tsuboi;Kota Takeuchi;Kota Takeuchi;Kota Takeuchi;Kota Takeuchi;Kota Takeuchi;Kota Takeuchi;Munehiro Kobayashi
