搜索结果: 1-1 共查到“知识库 射影几何学 projectivity”相关记录1条 . 查询时间(0.085 秒)
Unification and projectivity in Fregean varieties
unification projectivity Fregean varieties
font style='font-size:12px;'>
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....