Russisch ⇄ Englisch

задача выполнимости булевых формул в k-конъюнктивной нормальной форме Betonungen
KI	k-SAT (Alex_Odeychuk)
задача выполнимости булевых формул в конъюнктивной нормальной форме
KI	SATCNF (Alex_Odeychuk)

задача выполнимости булевых формул в k-конъюнктивной нормальной форме: 2 Phrasen in 1 Thematik

Künstliche Intelligenz

2