Towards Easier Querying of XML -based Linguistic Corpora
В работе доказано, что любое тупиковое доопределение частичной булевой функции с класса (n, 1, k) имеет нулевую область неопределенности. Выделенные условия, при которых доопределении функции с класса (n, 1, k) является однозначным.
Журнал:
УДК:
004.6