机译:关于正则扩展公理及其变体
constructive set theory; regular extension axiom; independence results;
机译:关于正则扩展公理及其变体
机译:直觉模糊正则G分离公理的一种新方法
机译:带有常规包含公理的Converse PDL:MAS逻辑框架
机译:案例研究:使用两种变体设计40层高的办公楼,具有常规混凝土柱和复合超高性能混凝土柱和常规混凝土柱
机译:Artin-Schelter正则代数的全局维四扩展。
机译:在首发精神病的两年早期干预服务之后将早期干预服务的三年扩展与常规护理进行比较:一项随机单盲临床试验
机译:三维逻辑中抽象和扩展性的类公理和NBG的公理的相对一致性。