Herons Brook, Sticklepath, Okehampton EX20 2PY, England;
abstract state machine; proof search; ibn sina; avicenna; syllogism;
机译:作为认知还是计算的证明:伊本·新浪的创新
机译:历史的气息(第五部分)伊本·西纳(阿维森纳):伟大的医师和哲学家
机译:使用双仿真证明技术来分析分布式抽象机
机译:关于分布式抽象机分析的双蓄能证明
机译:大马士革与巴黎有什么关系?对伊本·塔米娅(Ibn Taymiyya)和里米尼(Rimini)的格雷戈里(Gregory)的比较分析:十四世纪和中世纪后期,在基督教和伊斯兰教传统的神圣启示合法化过程中拒绝使用亚里士多德逻辑。
机译:研究筛选器:半自动化抽象筛选的机器学习工具用于系统评价
机译:伊本·西娜(IbnSīnā)的分析:1.证明搜索。或:抽象状态机作为逻辑历史工具
机译:机床技术。补充1.数控机床精度测试。