Hlavní stránka > Výsledky hledání: Szekely, Gergely
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.01 vteřin. 
Pozorování času: Odvozování ve statických světech
 Švarný, Petr ; Dieks, Dennis (vedoucí práce) ; Placek, Tomasz Grzegorz (oponent) ; Szekely, Gergely (oponent)
Tématem dizertace je logické odvozování o čase v bezčasových modelech světa. Práce za tímto účelem představuje větvící se logiku s pozorovateli. Za pomoci této logiky jsou dokázána tvrzení, která ukazují, že pozorovatelé v bezčasovém modelu mohou disponovat v plné míře časovou inferencí. 1
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English