Práce na stejné téma (mají shodná klíčová slova):
Klíčová slova abecedně | Klíčová slova dle četnosti
Application of functional programming in the development of enterprise systems
(Tomáš Pastirčák)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/m009t/ | Informatika / Počítačové systémy | Práce na příbuzné téma
Online Lambda Calculus Evaluator
(Jakub Kadlecaj)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/phetv/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma
Web Application for Construction of Type Derivation Trees
(Martin Škrovina)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/u4h13/ | Aplikovaná informatika / | Práce na příbuzné téma
Online Lambda Calculus Evaluator
(Jakub Kadlecaj)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/phetv/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma
Deduction in Matching Logic
(Adam Fiedler)2022, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mcbtk/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma
The Logic of Edgar Allan Poe's Short Stories
(Kateřina Mazlová)2024, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/tqda4/ | Anglický jazyk a literatura / | Práce na příbuzné téma
Algebraic models for quantum logic
(Kadir Emir)2024, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/fx3zx/ | Matematika a statistika / Algebra, teorie čísel a matematická logika | Práce na příbuzné téma
Online editor and simulator of logic circuits
(Tomáš Lacko)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v9m1e/ | Aplikovaná informatika / | Práce na příbuzné téma
Logic Puzzle Game Prototype with Semi-Automated Level Design
(Jakub Smatana)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dgxfz/ | Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence | Práce na příbuzné téma
Linear Temporal Logic and omega-automata
(František Blahoudek)2015, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vvxpf/ | Informatika / | Práce na příbuzné téma