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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Dorr H. — Efficient Graph Rewriting and Its Implementation	36, 67, 70, 87, 217
Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming	111, 772

О проекте