Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths Autor(es) Christoph Benzmüller Créditos 2NDCLE4SCIENCE Data Quarta-feira, 19 de Julho de 2017 - 12:00
