Кургаев А. Ф. База знаний резолюционного доказательства теорем в исчислении высказываний / А. Ф. Кургаев // Управляющие системы и машины. - 1999. - № 3. - С. 78-86. - Библиогр.: 5 назв. - рус.
Засобами метамови нормальних форм понять формалізовано широко відомий фрагмент знань про резолюційне доведення теорем в обчисленні висловлювань. Запропонований опис ілюструє використання цієї метамови для подання прикладних систем досить високої складності.
Шифр НБУВ: Ж14024Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"