Práce na stejné téma (mají shodná klíčová slova):
formální logické sytémyKlíčová slova abecedně | Klíčová slova dle četnosti
Formální logické systémy založené na neklauzulární rezoluci
(Hashim HABIBALLA)2007, Disertační práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//wi804l// | Informatika / Informační systémy | Práce na příbuzné téma
Formální logické systémy založené na neklauzulární rezoluci
(Hashim HABIBALLA)2007, Disertační práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//wi804l// | Informatika / Informační systémy | Práce na příbuzné téma