|
Доклады Академии наук, 1986, том 290, номер 2, страницы 281–286
(Mi dan8446)
|
|
|
|
МАТЕМАТИКА
Квазиполиномиальные алгорифмы распознавания выполнимости и выводимости
пропозициональных формул
М. И. Канович Калининский государственный университет
Образец цитирования:
М. И. Канович, “Квазиполиномиальные алгорифмы распознавания выполнимости и выводимости
пропозициональных формул”, Докл. АН СССР, 290:2 (1986), 281–286
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan8446 https://www.mathnet.ru/rus/dan/v290/i2/p281
|
|