Práce na stejné téma (mají shodná klíčová slova):
Logická dedukceKlíčová slova abecedně | Klíčová slova dle četnosti
Efektivita rezolučních strategií ve dvouhodnotové logice
(Silvie MACOSZKOVÁ)2010, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//mnixbw// | Informatika / Informační systémy | Práce na příbuzné téma
Efektivita rezolučních strategií ve dvouhodnotové logice
(Silvie MACOSZKOVÁ)2010, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//mnixbw// | Informatika / Informační systémy | Práce na příbuzné téma