Доценко В. А. Конструктивний алгоритм зворотного методу для секвенцій загального вигляду / В. А. Доценко // Искусств. интеллект. - 2006. - № 3. - С. 120-128. - Бібліогр.: 9 назв. - укp.Представлено схему зворотного методу для числення висловлювань, що може працювати з формулами, представленими у вигляді секвенцій загального вигляду, викладено доповнення до конструктивного алгоритму зворотного методу, а також наведено схему механізму іменування для можливості здійснення скороченого виведення. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|