Prohlížení dle autora "Duží, Marie"
-
3D vizualizace modelů v PL1
Matějičný, Vladimír (Bakalářská práce, 2010) -
A valid rule of beta-conversion for the logic of partial functions
Duží, Marie; Kosterec, Miloš (Organon F. 2017, vol. 24, issue 1, p. 10-36.) -
Analysis of time references in natural language by means of transparent intensional logic
Duží, Marie; Macek, Jakub (Organon F. 2018, vol. 25, issue 1, p. 21-40.) -
Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
Macek, Jakub (Disertační práce, 2017) -
Axiomatické teorie množin
Nemček, Martin (Diplomová práce, 2014) -
Communication in a multi-cultural world
Duží, Marie (Organon F. 2014, roč. 21, č. 2, s. 198-218.) -
Deduction in TIL: from simple to ramified hierarchy of types
Duží, Marie (Organon F. 2013, roč. 20, suppl. 2, s. 5-36.) -
Design and Utilization of Knowledge Bases for Software Processes
Košinár, Michal (Diplomová práce, 2010) -
Dokazování pomocí přirozené dedukce v jazyku TIL-Script
Patschka, Vojtěch (Diplomová práce, 2019) -
Elipsa a anafora
Duží, Marie (Organon F. 2013, roč. 20, č. 3, s. 399-412.) -
Formální konceptuální analýza nad vícehodnotovými daty v systému eLogika
Kermaschek, Jakub (Diplomová práce, 2017) -
Gentzenův důkazový kalkul
Kajzarová, Halina (Diplomová práce, 2015) -
Gentzenův důkazový kalkul
Spáčil, Jiří (Diplomová práce, 2017) -
Hledání (a nalézání)
Duží, Marie (Organon F. 2006, roč. 13, č. 2, s. 189-206.) -
Hyperintensional reasoning based on natural language knowledge base
Duží, Marie; Horák, Aleš (International Journal of Uncertainty Fuzziness and Knowledge-Based Systems. 2020, vol. 28, issue 3, p. 443-468.) -
If structured propositions are logical procedures then how are procedures individuated?
Duží, Marie (Synthese. 2019, vol. 196, issue 4, special issue, p. 1249-1283.) -
Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL
Velek, Martin (Diplomová práce, 2014) -
Implementace jazyka TIL-Script
Peterek, Filip (Diplomová práce, 2023) -
Impossibilities without impossibilia
Jespersen, Bjørn; Duží, Marie; Carrara, Massimiliano (Inquiry. 2024.) -
Inferring knowledge from textual data by natural deduction
Duží, Marie; Menšík, Marek (Computacion y Sistemas. 2020, vol. 24, issue 1, p. 29-48.)