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

Работа с статьей


[1] Матиясевич Ю. В. Возможные нетрадиционные методы установления выполнимости пропозициональных формул // Проблемы сокращения перебора. — Т. 131 из Вопросы кибернетики. — Научный совет по комплексной проблеме Кибернетика Академии Наук СССР Москва, 1987. — С. 87–89.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть