Поиск книг, содержащих Логика первого порядка :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Логика первого порядка

Книга	Страницы для поиска
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей	25
Пенроуз Р. — Тени разума. В поисках науки о сознании	182 а
Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог	221
Рассел С., Норвиг П. — Искусственный интеллект: современный подход	285, 344, 348
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию	260

О проекте