|
|
|
|
| LEADER |
01244nz a2200277n 4500 |
| 001 |
ntk2017956592 |
| 003 |
CZ PrNK |
| 005 |
20191022110243.0 |
| 008 |
170620|n|aznnnaabn n a|a |
| 040 |
|
|
|a ABA013
|b cze
|d ABA001
|e rda
|
| 100 |
1 |
|
|a Strahm, Thomas Adrian
|7 ntk2017956592
|
| 370 |
|
|
|c Švýcarsko
|
| 372 |
|
|
|a matematická logika
|a počítačová věda
|a teorie důkazu
|
| 373 |
|
|
|a Universität Bern
|
| 374 |
|
|
|a vysokoškolští učitelé
|a počítačoví vědci
|
| 375 |
|
|
|a muž
|
| 377 |
|
|
|a eng
|
| 400 |
1 |
|
|a Strahm, Thomas
|0 o
|
| 670 |
|
|
|a Sommaruga, Giovanni - Strahm, Thomas Adrian (eds.): Turing's revolution : the impact of his ideas about computability, c2015
|b profesní údaje, odkaz viz
|
| 670 |
|
|
|a HELVETICAT, cit. 20. 6. 2017
|b autoritní forma, odkaz viz
|
| 670 |
|
|
|a www(Universität Bern), cit. 20. 6. 2017
|b profesní údaje
|
| 678 |
0 |
|
|a 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.
|
| 906 |
|
|
|a za20170620
|b VRBOVA
|
| 906 |
|
|
|a ko20170724
|b VRBOVA
|
| 906 |
|
|
|a vr20191022
|b maku
|
| 998 |
|
|
|a http://aleph.nkp.cz/F/?func=direct&doc_number=000956592&local_base=AUT
|
