...
机译:“形式逻辑的技巧”中的可能世界
Arthur Prior's unpublished manuscript; The Craft of Formal Logic; Arthur Prior's early modal logic; Theory of modality; Possible worlds; History of possible world semantics;
机译:“形式逻辑的技巧”中的可能世界
机译:计算最可能的行动世界概率逻辑程序:10〜(30,000)个世界的可伸缩估计
机译:模糊逻辑在正式和非正式R D公司中促进产品创新的人力资源管理实践的应用
机译:正式安全评估在减少尼斯港高速船码头的周转时间中的应用
机译:大学生在极限,导数的体现数学,象征数学和形式数学世界之间的联系:使用Tall的三个数学世界进行的定性研究。
机译:在Haouamine生物碱的茚并四氢吡啶核心建设一个串联普林斯/ Friedel-Crafts反应的使用:正式合成( - ) - Haouamine一
机译:想象力的逻辑是:一个正式的虚构动态系统系统