ENGLISH

Proceedings 1992 Int. Workshop on Mathematics Mechanization

By Wu Wen-Tsun , Cheng Min-De. (eds.)

Book information

Publisher
China, Beijing, Int.Acad. Publ.
Year
1992
Language
english
Format
DJVU
Filesize
6 MB (6390762 bytes)
Pages
291\291
Library
kolxoz
DPI
600
Time added
2010-02-18 13:16:04

Similar books