Proceedings of the ...
By: Academia Sinica, Mathematics Mechanization Research Center ; ed. by Wu Wen-Tsün
Contributors: Wu, Wen-tsün, ed; Zhongguo ke xue yuan. Mathematics Mechanization Research Center
Publisher: International Academic Pub.
Published: 1992
Place of publication: Beijing
Language: eng
Number of pages: 286
ISBN-13: 9787800031960
Subjects: Numerical solutions; Equations; Artificial intelligence; Automatic theorem proving