退出
我的积分:
中文文献批量获取
外文文献批量获取
沃伦斯基; 杜文静;
波兰雅盖隆大学哲学研究所;
华东政法大学文伯书院;
法律逻辑; 规范逻辑; 道义逻辑; 法律推理; 约根森困境;
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:商业法人实体:完善法人实体法律形式的立法的法律,法律和实践方面
机译:控制图:形式逻辑和模糊逻辑的理论和实践方面
机译:治疗法律判断,包括逐项和参照表达 - 朝向逻辑形式的翻译
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:LVIV大学的尼克。系列律师关键词滥用权威,滥用权力,滥用官方地位,滥用欧盟办公室行为,国际法律监管,就业,自由运动倡导,倡导活动,倡导科学,倡导性宣传理论,倡导呼吁的理论,理由修改,法院调查结果的不一致事实,判决慈善组织的实际情况,取消或改变判决慈善机构,慈善组织的创始人,慈善机构资产,组成文件刑事诉讼,刑事诉讼主题,嫌疑人,嫌疑法,刑事诉讼,国际标准雇主的责任,道德伤害赔偿权,社会保险从工业事故,社会需求,劳动争端形式的员工历史和法律科学部的法律行为,科学活动执法设备,个人法律法案,制定执法法案的内容,法律法律公式(建设)行为的个人法律法案(属性),犯罪的合格犯罪,社会危险程度,犯罪形成特征法律社会社会法律技术,技术,法律法,法律制度,立法合法性,犯罪调查,犯罪概念,犯罪建议,战术方法旨在提供刑事诉讼,程序制裁,货币罚款,预审调查预审国家实施,执行形式,实施实践,欧洲国家,国际条约参与者,股东,伙伴关系,收购,不断变化,暂停证明,概率,可能性,可信度在证据,可靠性科学学校,研究,开发土地,农业和环境法,利沃科学校园,农业和环境法律议理乌克兰的冰,波兰共和国国家司法委员会,法官的独立,国际标准的司法部门劳动法人的推定开放期刊系统期刊帮助用户用户名密码记住我登录通知查看订阅语言选择lobsumberubmit期刊内容搜索搜索范围搜索按问题浏览作者标题在间接刑事定罪方面,再次对刑法的追溯效应及时
机译:法律语言中嵌入逻辑的形式化表征
机译:产生β形式的病毒蛋白,抗体和a病毒蛋白聚集体的方法,获得非聚集的a病毒蛋白质和结合剂的具体形式,检测生物样品中非聚集体的存在的方法。样品中的原纤维和a病毒蛋白,抗体和a蛋白的β形式或其聚集体,以鉴定物质,预防和/或治疗被剥夺的疾病,诊断存在a病毒疾病的诱因并减少生物样品,beta蛋白的β形式,抗体,杂交瘤细胞,药剂,非原纤维聚集体,结合剂的用途,蛋白的聚集体和β形式,诊断原发疾病的试剂盒,药物组合物和疫苗成分
机译:一种区分给定分子的聚集形式或聚合形式与非聚集形式或非聚合形式的方法
机译:在表面上形成了防止磨损的膜(1),在底面形成了大字体(2)之类的印刷品,并根据非粘合体的表面形式随意变形的简单变形材料( 3)被粘结,此外,在简单的变形材料(3)指定为与非粘结体的配合的目的的粘合剂中,底面具有(4)形式的。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。