host ::
přihlásit
Digitální repozitář
Hledej
Nový záznam
Nápověda
O repozitáři
Hlavní stránka
>
Konferenční materiály
>
Příspěvky z konference
> Kurt Gödel, completeness, incompleteness
Informace
Soubory
Název:
Kurt Gödel, completeness, incompleteness
Autoři:
Hájek, Petr
Typ dokumentu:
Příspěvky z konference
Konference/Akce:
Kurt Gődel Days. International Symposium on Kurt Gődel´s Scientific Heritage
, Brno (CZ), 2006-04-25 / 2006-04-26
Rok:
2007
Jazyk:
eng
Číslo projektu:
CEZ:AV0Z10300504
(
CEP
),
IAA100300503
(
CEP
)
Poskytovatel projektu:
GA AV ČR
Zdrojový dokument:
Meze formalizace, analytičnosti a prostoročasu, ISBN 978-80-7007-268-4
Instituce:
Ústav informatiky AV ČR (
web
)
Informace o dostupnosti dokumentu:
Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam:
http://hdl.handle.net/11104/0218187
Trvalý odkaz NUŠL:
http://www.nusl.cz/ntk/nusl-151760
Záznam je zařazen do těchto sbírek:
Věda a výzkum
>
AV ČR
>
Ústav informatiky
Konferenční materiály
>
Příspěvky z konference
Záznam vytvořen dne 2013-04-02, naposledy upraven 2021-11-24.
Podobné záznamy
Není přiložen dokument
Exportovat ve formátu
DC
,
NUŠL
,
RIS
Sdílet