Práce na stejné téma (mají shodná klíčová slova):
výroková logikaKlíčová slova abecedně | Klíčová slova dle četnosti
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
(Michael BAJER)2009, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//54uvey// | Informatika / | Práce na příbuzné téma
Tvorba nástroje na editaci a export sémantického tabla pro formální logické systémy
(Tomáš STUPKA)2011, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//g50vj8// | Informatika / | Práce na příbuzné téma
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
(Michael BAJER)2009, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//54uvey// | Informatika / | Práce na příbuzné téma
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
(Michael BAJER)2009, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//54uvey// | Informatika / | Práce na příbuzné téma
Automatizovaná dedukce ve výrokové logice
(Lukáš BURYAN)2015, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//4sky5t// | Aplikovaná informatika / Informatika a výpočetní technika - aplikovaná informatika | Práce na příbuzné téma
Rezoluční princip v umělé inteligenci a logice
(Silvie MACOSZKOVÁ)2008, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//eezpla// | Informatika / | Práce na příbuzné téma
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
(Michael BAJER)2009, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//54uvey/thesisFile.pdf/ | Informatika / | Práce na příbuzné téma