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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Clause, Horn

Книга	Страницы для поиска
Papadimitriou C.H. — Computational Complexity	78, 116
Maier D. — The theory of relational databases	see Horn clause
Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey	176
Ben-Ari M — Mathematical Logic for Computer Science	176

О проекте