|
|
|
|
| LEADER |
01371cz a2200313n 4500 |
| 001 |
xx0033524 |
| 003 |
CZ PrNK |
| 005 |
20210517092323.0 |
| 008 |
050610|n|aznnnaabn | a|a |
| 024 |
7 |
|
|a 0000-0002-1384-1613
|2 orcid
|
| 040 |
|
|
|a ABA013
|b cze
|d ABA013
|d ABA001
|d ABD100
|d ABA001
|e rda
|
| 046 |
|
|
|f 1973
|
| 100 |
1 |
|
|a Urban, Josef,
|d 1973-
|7 xx0033524
|
| 368 |
|
|
|d Mgr.
|d Ph.D.
|
| 370 |
|
|
|c Česko
|
| 372 |
|
|
|a umělá inteligence
|a informatika
|
| 374 |
|
|
|a vědci
|
| 375 |
|
|
|a muž
|
| 377 |
|
|
|a cze
|a eng
|
| 670 |
|
|
|a Urban, J.: Exploring and combining deductive and inductive reasoning in large libraries of formalized mathematics
|
| 670 |
|
|
|a osobní sdělení
|b datum narození, obor působnosti
|
| 678 |
0 |
|
|a Narozen 31. 10. 1973. Odborník v oblasti umělé inteligence, automatického dotazování vět, sémanticky specifikovaných znalostních bází, formální matematiky, publikace z oboru teoretické informatiky.
|
| 906 |
|
|
|a za20050610
|b xjapi
|
| 906 |
|
|
|a no20050610
|b xjapi
|
| 906 |
|
|
|a oz20050610
|b mdvo
|c Záhlaví - datum narození ; Zdroj - oprava ; Zdroj - další výskyt ; Biografická poznámka - doplnění
|
| 906 |
|
|
|a no20210514
|b daha
|c pole 024, 368, 372, 374, 375, 377 - nově
|
| 906 |
|
|
|a op20210517
|b adpi
|
| 991 |
0 |
|
|a Urban, Josef
|7 xx0033524
|
| 998 |
|
|
|a http://aleph.nkp.cz/F/?func=direct&doc_number=000291598&local_base=AUT
|
