Zpět na vyhledávání

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

výroková logika

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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 / | Theses on a related topic

List of theses with an identical keyword.

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 / | Theses on a related topic

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 / | Theses on a related topic

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 / | Theses on a related topic

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 | Theses on a related topic

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 / | Theses on a related topic

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 / | Theses on a related topic