Proceedings 1992 Int. Workshop on Mathematics Mechanization
Wu Wen-Tsun, Cheng Min-De. (eds.)Категорії:
Рік:
1992
Видавництво:
Beijing, China, Int.Acad. Publ.
Мова:
english
Сторінки:
291
Файл:
DJVU, 6.09 MB
IPFS:
,
english, 1992