| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив |
|
1997, том 241
|
| | | Общая информация | | | Содержание | | |
|
Диофантовы представления линейных рекуррентных последовательностей. II М. А. Всемирнов |
5 | |
|
|
Принцип разделения знаков для задачи пропозициональной выполнимости Э. А. Гирш |
30 | |
|
|
Числовые представления выполнимости Г. В. Давыдов, И. М. Давыдова |
72 | |
|
|
Вероятностная проверка доказательств в исчислениях Е. Я. Данцин |
97 | |
|
|
Уточнение оценок высоты термов в наиболее общем унификаторе Б. Ю. Конев |
117 | |
|
|
Градуируемые логические значения для представления знаний Н. К. Косовский, А. В. Тишков |
135 | |