Theses on the same topic (having an identical keyword):
natural deductionKeywords ordered alphabetically | Keywords ordered by occurrence rate
Dokazování pomocí přirozené dedukce v jazyku TIL-Script
(Vojtěch Patschka)2019, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/136256 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Insolvenční řízení fyzických osob
(Alena Nesvadbová)2024, Diplomová práce, Ekonomicko-správní fakulta / Masarykova univerzita
• https://is.muni.cz/th/m4733/ | Finance / | Theses on a related topic