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

Пынько, А. П.


	Наукова періодика України		Доповіді Національної академії наук України

Пынько А. П.
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доповiдi Національної академії наук України. - 2011. - № 9. - С. 36-41. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2011_9_9

Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік із визначником рівності.

Повний текст PDF - 153.148 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Пынько А.

Бібліографічний опис для цитування:

Пынько А. П. Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доповiдi Національної академії наук України. - 2011. - № 9. - С. 36-41. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2011_9_9.

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача