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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Клини С. — Математическая логика	88
Нильсон Н. — Искусственный интеллект. Методы поиска решений	180
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах	251, 423, 529
Городецкий Б.Ю. — Новое в зарубежной лингвистике: выпуск XXIV. Компьютерная лингвистика	36
Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика.	см. "Импликация"
Бочаров В.А., Маркин В.И. — Основы логики	28, 34, 35
Клини С.К. — Математическая логика	88

О проекте