Proceedings of the 1992 International Workshop on Mathematics Mechanization July 16-18, 1992, Beijing, China
0
0
Author Description
Page Count:
286
Publication Date:
1992-01-01
ISBN-10:
7800031969
ISBN-13:
9787800031960
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!