Библиографическое описание:McLean, David. Computing Truth of Ligical Statements in Multi-Agents Environment = Исчисление истинных утверждений с помощью операций теории Chance Discovery в многоагентном окружении / David McLean, Vladimir V. Rybakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2013. - Т. 6, № 3. - С. 315-328. - Библиогр.: с. 327-328 (34 назв.). - ISSN 1997-1397.
Аннотация:Представленная статья посвящена построению логических моделей различных версий теории случайных открытий и описанию вычислительных алгоритмов для логических высказываний.
