Solving Lattice Point Problems by Propositional Reasoning with Isomorphism Cutting Strategy. National Taiwan University, Taipei, Taiwan.
英
美
用同构精简策略在命题逻辑中解格子点问题。国立台湾大学资讯工程学研究所硕士论文,台北市。
目录
查词历史
英 汉