搜索结果: 1-1 共查到“公理集合论 `automatic quantifier elimination”相关记录1条 . 查询时间(0.078 秒)
Mutually algebraic structures and `automatic' quantifier elimination
Mutually algebraic structures `automatic' quantifier elimination
2015/9/28
Mutually algebraic structures and `automatic' quantifier elimination.