退出
我的积分:
中文文献批量获取
外文文献批量获取
王军风;
武汉大学出版社,武汉,430072;
本体论论证; 索引性概念; 偷换概念;
机译:YALLA中的论证更新(另外一种逻辑语言用于论证)
机译:规范和验证抽象论证框架的论证逻辑
机译:带有论证方案的辩证论证:一种法律逻辑方法
机译:内涵高阶模态逻辑中本体论证的自动化修正
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:逻辑基因本体论注释(GOAL):使用OWL探索基因本体论注释
机译:在高维高阶模态逻辑中自动化本体论论证的修正
机译:在前南斯拉夫与外交结合的力量:错在哪里,在哪里下一个。
机译:乘积[n]&[m] f(h)乘积[m] f(2)的论证和乘数[n] f(2)的论证生成方法-金字塔乘数的“附加代码”用于后续逻辑解码f(CD?)的f(??)和格式中结果和的生成[S] f(2)-“附加代码”及其实现的功能结构(俄罗斯逻辑版本)
机译:产品论证验证系统,论证对象,产品论证方法和特殊信息提供方法
机译:用于商业软件的数字教育材料的设计,实现和开发的方法论,希望利用多媒体技术,超媒体和本体论更好地理解和掌握逻辑学和应用程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。