搜索结果: 1-1 共查到“射影几何学 unification”相关记录1条 . 查询时间(0.046 秒)
Unification and projectivity in Fregean varieties
unification projectivity Fregean varieties
2011/1/18
In some varieties of algebras one can reduce the question of finding most general unifiers (mgus) to the problem of the existence of unifiers that fulfill the additional condition called projectivity....