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

formalni dukaz

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

Sémantické tablo jako formální procedura důkazu v logice
 (Milan ROŽŇÁK)

2013, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

• http://theses.cz/id//zd7gvf// | Aplikovaná informatika / | Práce na příbuzné téma

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

Geometrické důkazy
 (David MOJŽÍŠEK)

2017, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA

• http://theses.cz/id//36mdpn// | Matematika / Matematika - Historie (dvouoborové) | Práce na příbuzné téma

Nástroj pro interaktivní dokazování tvrzení o formálních jazycích
 (Tomáš Richter)

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

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