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

formule vyrokove logiky

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

« 1 2 » (celkem 12 prací)
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

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

SMT Solving for the Theory of Bit-Vectors
 (Martin Jonáš)

2016, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

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

« 1 2 » (celkem 12 prací)