Your search returned 3 results.

Results
		No cover image available Mechanical theorem proving in geometries : basic principles ; translated from the Chinese by Xiaofan Jin and Dongming Wang by Wu, Wen-tsun \| . Series: Edition: Language: English Publication details: ; Wien : Springer-Verlag, 1994 ; 1994Availability: Items available for loan: 1 Call number: 513:681.3 Wu. Place hold Add to cart (remove)
		No cover image available Computerized symbolic manipulation in mechanics / edited by E. Kreuzer by \| . Series: Edition: Language: English Publication details: ; Wien : Springer-Verlag, 1994 ; 1994Availability: Items available for loan: 1 Call number: 624.04:681.3 Com. Place hold Add to cart (remove)

Refine your search