Поиск книг, содержащих First-order predicate calculus, universal quantifier :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: First-order predicate calculus, universal quantifier

Книга	Страницы для поиска
Hein J.L. — Discrete Mathematics	357
Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving	56—58, 61—63, 68
Hein J.L. — Discrete Structures, Logic, and Computability	353
Hein J.L. — Theory of Computation: An Introduction	138

О проекте