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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Символ константный

Книга	Страницы для поиска
Степанов С.А. — Арифметика алгебраических кривых	249
Ершов Ю.Л. — Определимость и вычислимость	271
Гончаров С.С. — Счетные булевы алгебры и разрешимость	2
Рассел С., Норвиг П. — Искусственный интеллект: современный подход	352, 354, 378
Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели	12
Ковальски Р. — Логика в решении проблем	18

О проекте