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

Базы данных


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

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

    Богомолов , А. М.
    Автоматическое доказательство теорем [Текст] : пособие для студентов мех-мата / А. М. Богомолов , А. А. Курилов , В. И. Лаврушин, С. В. Папшев. - [Б. м.] : Сгу, 1988. - 48 с. - 300 экз. - Б. ц.


Доп. точки доступа:
Курилов , А. А.
Лаврушин, В. И.
Папшев, С. В. 0
Свободных экз. нет
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (в электронных каталогах ИРБИС-Корпорации)
Расширенный
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)