Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

natural deduction

Keywords 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

List of theses with an identical keyword.

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