Automated reasoning; Theorem proving; Spinoza's philosophy;
机译:博伊尔,斯宾诺加和甘鞋:牡蛎的哲学繁琐融合 - 答复安东尼奥克里主
机译:伦理与分析:哲学观点及其在治疗中的应用
机译:再看自动定理证明II
机译:自动化定理的证明在哲学思想中的应用:斯宾诺莎的伦理学
机译:斯宾诺扎的形而上学,认识论和道德的理想主义:对主动/被动区别的友好和明智的修改,作为斯宾诺扎的属性和平行问题的解决方案
机译:研究伦理:负责任研究行为的哲学指南
机译:斯宾诺莎与美德:习惯对道德伦理道德的重要意义