Wu W.-C. (ed.), Cheng M.-D. (ed.) — Proceedings of the 1992 International Workshop on Mathematics Mechanization :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

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

Wu W.-C. (ed.), Cheng M.-D. (ed.) — Proceedings of the 1992 International Workshop on Mathematics Mechanization

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Proceedings of the 1992 International Workshop on Mathematics Mechanization

Авторы: Wu W.-C. (ed.), Cheng M.-D. (ed.)

Язык:

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1992

Количество страниц: 286

Добавлена в каталог: 29.11.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Alonso, M.E.      135
Bajaj, C.      167
Chou, Shang-Ching      1
Fang, Jin-Qing      251
Feng, Guo-Cheng      19
Feng, Hong      274
Gallo, G.      128
Gao, Xiao-Shan      1 201
Gerdt, V.P.      38
Hoffmann, C.M.      168
Hou, Xiao-Rong      110
Kapur, D.      52
Khutonoy, N.V.      38
Kobayashi, H.      53
Li, Chuan-Zhong      244
Li, Lian      206
Li, Shu-Rong      263
Li, Yan-Ling      206
Liang, Chong-Gao      189
Lin, Dong-Dai      201 222

Liu, Zhuo-Jun      222
Lue, Xiao-Su      201
Manome, Y.      66
Mishima, T.      66
Mishra, B.      28
Mora, T.      135
Niesi, G.      135
Otake, M.      66
Raimondo, M.      135
Shi, He      79
Suzuki, H.      53
Wang, D.M.      89
Wu, Fang-Xiang      280
Wu, Wen-da      181
Wu, Wen-Tsun      101
Yang, Lu      110 244
Yao, Wei-Guang      251
Zhang, Hong-Qing      274 280
Zhang, Jing-Zhong      110 244
Zhang, Shu-gong      19
Zharkov, A.Yu.      38

О проекте