Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Reification
Книга
Страницы для поиска
Jurafsky D., Martin J.H. — Speech and Language Processing
519
Lad F. — Operational Subjective Statistical Methods. A Mathematical, Philosophical, and Historical Introduction
19
Ramsay A. — Formal Methods in Artificial Intelligence
143
David O.Tall — Advanced Mathematical Thinking
82
Borovik A.V. — Mathematics under the microscope
107, 126, 201
Jacky J. — The Way of Z: Practical Programming with Formal Methods
see "Refinement"
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте