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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Высказывание (proposition)

Книга	Страницы для поиска
Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем	16
Клоксин У., Меллиш К. — Программирование на языке пролог	260
Гренандер У. — Лекции по теории образов (Том 3. Регулярные структуры)	346
Метакидес Г., Нероуд А. — Принципы логики и логического программирования	15
Хоггер К. — Введение в логическое программирование	19
Линдон Р. — Заметки по логике	39
Тей А., Грибомон П., Луи Ж. — Логический подход к искусственному интеллекту	11
Хоггер К. — Введение в логическое программирование	19

О проекте