Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://lib.mexmat.ru/showsubject/9978. Показаны документы 1 - 1 из 1.
1. Ершов Ю.Л. - Определимость и вычислимость :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Ершов Ю.Л. - Определимость и вычислимость . ... Название: Определимость и вычислимость . Автор: Ершов Ю.Л. Аннотация: . ... Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д. Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1371 -- 66.5 Кб -- 09.04.2016
Похожие документы
Похожие документы