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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Girard J.-Y., Taylor P., Lafont Y. — Proofs and Types	56
Gierz G., Hofmann K.H., Keimel K. — Continuous Lattices and Domains	115 I—4.2
Dehn E. — Algebraic Equations	181, 132, 133, 135
Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods	477

О проекте