Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.

Saved in:

Bibliographic Details
Main Author:	Wu, Wen-tsün
Format:	Book
Language:	English Chinese
Published:	Wien ; New York : Springer-Verlag, 1994.
Series:	Texts and monographs in symbolic computation,
Subjects:	Geometry > Data processing. Automatic theorem proving.

Holdings details from Science Library
Call Number:	QA448.D38 W8 1994
Status:	Available

Similar Items