RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ЛОМИ, 1968, том 8, страницы 234–259 (Mi znsl2268)
Эта публикация цитируется в 25 статьях

О сложности вывода в исчислении высказываний

Г. С. Цейтин




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

© МИАН, 2024