Application of Automated Theorem-Proving to Philosophical Thought: Spinoza's Ethics

Maciej Janowicz, Luiza Ochnio, Leszek J. Chmielewski, Arkadiusz Orlowski. Application of Automated Theorem-Proving to Philosophical Thought: Spinoza's Ethics. In Kuinam Kim, Nikolai Joukov, editors, Information Science and Applications 2017 - ICISA 2017, Macau, China, 20-23 March 2017. Volume 424 of Lecture Notes in Electrical Engineering, pages 512-518, Springer, 2017. [doi]

Abstract

Abstract is missing.