Filtrování publikací
-
BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN a Jiří SRBA. On Determinism in Modal Transition Systems. Theoretical Computer Science. Elsevier, 2009, roč. 410/2009, č. 41, s. 4026-4043. ISSN 0304-3975.
Název česky: O determinismu v modálních přechodových systémech
RIV/00216224:14330/09:00029307 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Beneš, Nikola (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: compositional verification; modal transition systems; determinism; refinement; consistency
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 24. 10. 2013 16:20.Podrobněji: https://is.muni.cz/publication/833643/cs -
KROB, Josef. Odpovídám, tedy existuji. Pro-Fil - Elektronický časopis pro filozofii. Brno: Katedra filosofie FF MU, 2001, roč. 2, č. 1, s. 1-5. ISSN 1212-9007.URL URL
Název anglicky: I answer, then I exists
RIV/00216224:14210/01:00004147 Článek v odborném periodiku. Filosofie a náboženství. čeština. Česká republika.
Krob, Josef (203 Česká republika, garant)
Klíčová slova anglicky: time; determinism; existencialism; phyiscs; reductionism
Změnil: prof. PhDr. Josef Krob, CSc., učo 414. Změněno: 14. 6. 2007 14:59.Podrobněji: https://is.muni.cz/publication/360551/cs -
KROB, Josef. Ontologie a otázka poznatelnosti světa. Prométheus. Hradec Králové: ÚFSV PedF UHK, 2000, roč. 5, č. 16, s. 12-15. ISSN 1211-8400.
Název anglicky: Ontology and The Question of Cognition
RIV/00216224:14210/00:00003359 Článek v odborném periodiku. Filosofie a náboženství. čeština. Česká republika.
Krob, Josef (203 Česká republika)
Klíčová slova anglicky: ontology; gnoseology; horizon; determinism;
Změnila: Hana Holmanová, učo 1028. Změněno: 1. 11. 2004 11:20.Podrobněji: https://is.muni.cz/publication/338651/cs
2009
2001
2000
Zobrazeno: 19. 9. 2024 09:22