Электронный архив
Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности
Войти
русский
English
Главная
→
Периодические и продолжающиеся издания КФУ
→
Труды математического центра имени Н. И. Лобачевского
→
ТОМ 44. Лобачевские чтения - 2011
→
Просмотр элемента
JavaScript is disabled for your browser. Some features of this site may not work without it.
Данный элемент включен в следующие коллекции
ТОМ 44. Лобачевские чтения - 2011
[111]
Материалы Десятой молодежной школы-конференции (Казань, 31 октября - 4 ноября 2011 г.)
Поиск в электронном архиве
Поиск в электронном архиве
В этой коллекции
Расширенный поиск
Просмотр
Весь электронный архив
Разделы и коллекции
Дата публикации
Авторы
Заглавия
Тематика
Коллекция
Дата публикации
Авторы
Заглавия
Тематика
Моя учетная запись
Войти
Регистрация
Статистика
Просмотр статистики использования