解释模型类理论及其极小三I-算法

解释模型类理论及其极小三I-算法

张兴芳

Theory of class of interpretation models and infinitesimal Triple I arithmetic

ZHANG Xing-fang

计算机工程与应用 . 2009, (26): 30 -33 . DOI: 10.3778/j.issn.1002-8331.2009.26.009