|
Записки научных семинаров ЛОМИ, 1969, том 16, страницы 8–19
(Mi znsl2332)
|
|
|
|
Машинный алгорифм установления выводимости на основе обратного метода
Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко
Образец цитирования:
Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Машинный алгорифм установления выводимости на основе обратного метода”, Исследования по конструктивной математике и математической логике. III, Зап. научн. сем. ЛОМИ, 16, Изд-во «Наука», Ленинград. отд., Л., 1969, 8–19
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2332 https://www.mathnet.ru/rus/znsl/v16/p8
|
Статистика просмотров: |
Страница аннотации: | 304 | PDF полного текста: | 142 |
|