| начало | написать нам | в избранное | сделать стартовой |

Базы данных


БД мех-мат. ф-та - результаты поиска

Вид поиска
БД Института химии
БД юридического ф-та
БД мех-мат. ф-та
ЭК кафедры геологии и геохимии горючих ископаемых
ЭК экономического ф-та
ЭК географического ф-та
ЭК кафедры геофизики
ЭК Институт истории и международных отношений
ЭК кафедры метеорологии и климатологии
ЭК каф. физики полупроводников
ЭК фак-та нелинейных процессов
БД кафедры информатики и программирования
ЭК кафедры материаловедения, технологии и управления качеством
ЭБС IBOOKS
ЭБС ИНФРА-М
ЭК базовой кафедры компьютерной физики и метаматериалов
ЭК социологического факультета
ЭК философского факультета
ЭК кафедры начального языкового и литературного образования
ЭК каф. русского языка и речевой коммуникации
ЭК кафедры английского языка для гуманитарных направлений и специальностей
ЭК каф. общего литературоведения
ЭК каф. теории, истории языка и прикладной лингвистики
ЭК каф. английского языка и межкультурной коммуникации
ЭК кафедры романо-германской филологии и переводоведения
ЭК каф. немецкого языка
ЭК кафедры русской и зарубежной литературы
ЭК каф. медиаобразования
Область поиска
 Найдено в других БД:БД юридического ф-та (5)ЭК кафедры материаловедения, технологии и управления качеством (1)ЭБС ИНФРА-М (1)
Формат представления найденных документов:
полныйинформационный краткий
Поисковый запрос: (<.>K=ДОКАЗАТЕЛЬСТВ$<.>)
Общее количество найденных документов : 1
1.Богомолов А. М. Автоматическое доказательство теорем/А. М. Богомолов , А. А. Курилов , В. И. Лаврушин, С. В. Папшев. - 1988
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (в электронных каталогах ИРБИС-Корпорации)
Расширенный
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)