科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一组线几何公理
Gaba M. G.;
机译:关于三空间的半二次几何的一组公理
机译:选择公理和广义连续假设与集合论公理的一致性
机译:MV-代数的独立公理集和集合理论的Yang-Baxter方程的解
机译:一组公理和一组完整的布尔代数公理中的每个公理的独立性
机译:相对同性代数的公理集。
机译:一组微分几何公理
机译:通过不变因素的二次形式及其分类,投影几何结构的公理描述性几何的原理
机译:基于假设的真相维护系统和方法,用于使用相同方法来确定公理诱导逻辑概念的集合
机译:使用本体,信念公理,信念断言,前提公理和前提断言进行假设验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。