检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:沈恩绍
机构地区:[1]Beijing Normal University, Beijing 100875, PRC
出 处:《Chinese Science Bulletin》1990年第6期441-444,共4页
摘 要:The e-companions, f-companions and g-companions are three major classes of companions. Although maximal types can be applied to the depiction of existentially closed (abbr. e. c.) structures, they (even their modifications in complete types, normal types)
关 键 词:model theory existentially cloud STRUCTURES COMPANION operators.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:52.14.77.105