Сергієнко, І.; Гупал, А.
(Вісник НАН України, 2003)
Оскільки процедури дедуктивного виводу не дають змоги розв'язувати важливу категорію
NP-повних задач, нині розвиваються інші схеми організації обчислень, які виконуються на
ДНК- і квантових комп'ютерах. Таким схемам ...