Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Дерево вывода



КнигаСтраницы для поиска
Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп302
Мендельсон Э. — Введение в математическую логику284
Лаллеман Ж. — Полугруппы и комбинаторные приложения294
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование182
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах42, 53
Белоусов А.И., Ткачев С.Б. — Дискретная математика587
Фейс Р. — Модальная логика194
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера271
Фу К. — Структурные методы в распознавании образов14, 107
Гладкий А.В. — Математическая логика165, 168, 196, 253
Виноградов И.М. — Математическая энциклопедия. Предметный указательI—780, 1093
Гладкий А.В. — Введение в современную логику90
Борковский А.Б. — Англо-русский словарь по программированию и информатике81
Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач19
Осуга С. — Обработка знаний125
Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение266
Анисимов А.В. — Рекурсивные преобразователи информации150
Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач19
Мендельсон Э. — Введение в математическую логику284
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе205
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте