Práce na stejné téma (mají shodná klíčová slova):
lambda calculusKlíč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
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
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
Investigations into Transparent Intensional Logic: A Rule-based Approach
(Ivo Pezlar)2016, Disertační práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/hhhga/ | Filozofie (čtyřleté) / Filozofie | 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
Translation of Linear Temporal Logic to Omega-Automata
(Tomáš Babiak)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
The Integrated Method Utilizing Graph Theory and Fuzzy Logic for Safety and Reliability Assessment
(Luboš Janhuba)2018, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//vn0f8l// | Stroje a zařízení / | Práce na příbuzné téma