Reihe Texts and Monographs in Symbolic Computation

 

Mechanical Theorem Proving in Geometries

Basic Principles

Wen-tsün Wu

Springer Wien

eBook

2012

53,49 €

 

Mechanical Theorem Proving in Geometries

Basic Principles

Wen-tsün Wu

Springer Wien

Softcover

1994

53,49 €