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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools	See Congruent nodes
Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming	119

О проекте