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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Negation normal form

Книга	Страницы для поиска
Wolter F., Wansing H., Вe Rijke M. — Advances in modal logic (vol.3)	333
Lawrence C. Paulson — ML for the working programmer	166—167, 238—240
Barwise J. (ed.) — Handbook of Mathematical Logic	249
Ramsay A. — Formal Methods in Artificial Intelligence	114
Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof	31, 133
Clarke E.M., Grumberg O., Peled D.A. — Model checking	132

О проекте