МАТЕМАТИКА

Квазиполиномиальные алгорифмы распознавания выполнимости и выводимости пропозициональных формул

М. И. Канович

Калининский государственный университет

УДК: 517.11

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 22.05.1985

Реферативные базы данных:

• 
•