Conference | Speakers | Profile
Thomas Seiller
On the computational meaning of axioms
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
Conference | Speakers | Profile
On the computational meaning of axioms
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer