ComputationalPhilosophy

ComputationalPhilosophy

Formalizations of Philosophical Arguments using Automated Reasoning Tools

Project ID: 2314478
Name
Last commit
Last update
Formalizations Loading commit data...
GSoC/2017 Loading commit data...
Papers Loading commit data...
Press Loading commit data...
Talks Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...