Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://lib.mexmat.ru/showsubject/886364. Показаны документы 1 - 1 из 1.
1. Rydeheard D.E., Burstall R.M. - Computational category theory :: Электронная
Электронная библиотека Попечительского совета . ... Rydeheard D.E., Burstall R.M. - Computational category theory . ... Название: Computational category theory . Авторы: Rydeheard D.E., Burstall R.M. Язык: . ... cat_of_theories 197 . ... Theory 197 . Theory_Arrow 197 . theory_coproduct 198 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1056 -- 49.4 Кб -- 09.04.2016
Похожие документы
Похожие документы