Публикация №891

Название публикацииРАЗРАБОТКА НОВОЙ СТРАТЕГИИ ДОКАЗАТЕЛЬСТВА ТЕОРЕМ И ОПРЕДЕЛЕНИЕ НА ЕЕ ОСНОВЕ АРХИТЕКТУРЫ МАШИНЫ ЛОГИЧЕСКОГО ВЫВОДА
Название на другом языке
Тип публикацииСтатья
ИзданиеИнформационный бюллетень РФФИ
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания1999
Том7
Номер1
ГлаваНе задан
Страницы284
АннотацияНе задан
Авторы(ИПИ РАН) Степанов Андрей Михайлович
Ермилов В.А.
Лупенко Александр Ильич
ссылка в Internet
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН