退出
我的积分:
中文文献批量获取
外文文献批量获取
吴丽丽;
合肥市第九中学;
中小学; 生物学; 生命观;
机译:SMT-AI:Oracle的 k ce:italic>-归纳的抽象解释器
机译:归纳定理证明,用于分析学生的解释,以指导智能辅导系统中的反馈
机译:小学生在学年中的解释,论证和证据观及其建构论证的能力
机译:通过抽象解释,稳健性和抽象归纳进行验证
机译:使用艺术批评和美学方法,提高学生将现实主义艺术品的要素解构和解释为最简单抽象的成分的能力。
机译:医学生物质主义价值观和抑郁:生命意义感的中介作用
机译:本文称为“论柏拉图在过程哲学中的务实职能。”创造知识建立在实用主义的建设性努力之上。抽象的想法在语境主义中呈现持怀疑态度的谜题。柏拉图的形式是解释抽象思想之间的各种关系的实体。从这些场地来看,个人对经验意义的看法以及如何形成思想的新态度,行为和动力。
机译:使用谓词抽象和归纳检查C和Verilog的一致性
机译:具有同余抽象域和/或堆继承抽象域的抽象解释
机译:通过充分地或完全不满足需求的需求或需求,通过相互帮助和支持铝或类似生命(铝,学生和家庭)的生命,通过不断地支持和支持铝的生命,来加强铝业协会的组织和提供可靠的服务并改善各代之间的通信。基于校友会的会员组织
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。