Do, Ngoc Thi Bich, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2010-06-21Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2010-004p.1-27
全国の図書館
件名...ffine interval Classical interval
一般注記...e precise than classical interval, andthe counterexample-guided...