Strahm, Thomas Adrian
Biografické údaje: | Vysokoškolský pedagog a odborník zaměřený na teoretickou počítačovou vědu a matematickou logiku. Zabývá se např. teorií důkazů nebo explicitní matematikou. Publikuje v oborech. |
---|---|
Alternativně jako: |
Strahm, Thomas |
Zdroj: |
Sommaruga, Giovanni - Strahm, Thomas Adrian (eds.): Turing's revolution : the impact of his ideas about computability, c2015 HELVETICAT, cit. 20. 6. 2017 www(Universität Bern), cit. 20. 6. 2017 |