Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Язык рекурсивный
Книга
Страницы для поиска
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей
58
Лаллеман Ж. — Полугруппы и комбинаторные приложения
154
Гэри М., Джонсон Д. — Вычислительные машины и труднорешаемые задачи
193
Хант Э. — Искусственный интеллект
50, 172
Осуга С., Саэки Ю. — Приобретение знаний
216
Бухараев Р.Г. — Основы теории вероятностных автоматов
131
Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений
338, 383
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте