退出
我的积分:
中文文献批量获取
外文文献批量获取
康巧茹;
中共宁夏回族自治区委员会党校;
逻辑; 法律逻辑; 分析方法; 禁止命题; 内涵语义;
机译:德国法律中法律规范的语义类型:使用局部线性解释进行分类和分析
机译:类型擦除语义中的内涵多态性
机译:在此禁止吸烟:法律规范与社会规范之间的合规性差异(摘要)
机译:使自己易于理解-一种对命题态度的非描述性方法。
机译:用于根据学科或语义类型对文本进行分类的日记描述符索引工具
机译:SNePS被视为完全内涵命题语义网络
机译:关于施工合同不同现场条件争议的法律规范的探讨。
机译:通过计算证明者对描述性数据描述语言的语义子类型化
机译:对象语义数据建模系统;一种用于创建相对于数据库存储数据的数据库模式的方法,一种在D中解释公式的方法,以及一种对象语义类型的数据模型的有效期的数据模型,该对象语义类型的数据模型包括多个对象语义。和系统来创建数据库架构
机译:用于多层办公楼的双层电梯控制方法,涉及使用上下文信息来表征状态,例如状态。相对于方面的对象,它是状态空间的维度,带有语义类型的描述
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。