Доказательство теорем в нечеткой логике на основе структурной резолюции

Самохвалов Ю.Я.
Доказательство теорем в нечеткой логике на основе структурной резолюции

Вид документа: Стаття періодичного видання
Рiк видання: 2019
Автор: Самохвалов Ю.Я. Вид автора: персона
Мова: Російська Обсяг: С.44-58
Шифр: 519.7 УДК: 519.7

Аннотацiя:

автоматическое доказательство теорем, нечеткая теорема, принцип резолюций, нечеткая логика

Є складовою частиною документа: Кибернетика и системный анализ