Práce na stejné téma (mají shodná klíčová slova):

lambda calculus

Klíčová slova abecedně | Klíčová slova dle četnosti

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

Seznam prací, které mají shodná klíčová slova.

Reprezentace komputačních znalostí a návrh inferenčního stroje pro TIL
 (Michal Fait)

2022, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://hdl.handle.net/10084/151353 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | 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

Use-mention Distinction in Transparent Intensional Logic
 (Jan Křetínský)

2007, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/ygeuu/ | Informatika / | Práce na příbuzné téma