Proceedings 1992 Int. Workshop on Mathematics Mechanization

Free Download

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

ISBN: 7800031969

Size: 7 MB (7245917 bytes)

Pages: 291/291

File format: djvu

Language: English

Publishing Year: 1992

Direct Download: Coming soon..

Download link:

Category: Mathematics

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

Reviews

There are no reviews yet.

Be the first to review “Proceedings 1992 Int. Workshop on Mathematics Mechanization”

You must be logged in to post a review.