Помощь
Корзина ( 0 )
Регистрация
Вход
ANY-BOOK
Изготовление электронных копий любых изданий
О проекте
Каталог
Поиск
Регистрация
Форум
Помощь
Корзина ( 0 )
Регистрация
Вход
Изготовление электронных копий любых изданий
Кучеров, Г.А.
Алгоритм распознавания достаточной полноты алгебраической спецификации абстрактного типа данных Г. А. Кучеров
Системы подстановок терминов Г. А. Кучеров
Об алгоритме доказательства свойств абстрактных типов данных / Г. А. Кучеров
о проекте
|
каталог
|
поиск
|
помощь
copyright (c) 2010-2024 any-book.ru