Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths

Versão para impressãoVersão para impressão
Palestra do Evento 2NDCLE4SCIENCE
Autor(es): 
Christoph Benzmüller
Créditos: 
2NDCLE4SCIENCE
Data: 
quarta-feira, Julho 19, 2017