Catalogo · 9783709166406

Mechanical Theorem Proving in Geometries

Wen-tsun Wu, X. Jin, D. Wang

ISBN 9783709166406

Descrizione non disponibile per questo libro.

Vedi su Google Books

Communitas attorno al libro

Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.

Accedi per partecipare

Letture affini

Copertina di Selected Works of Wen-Tsun Wu

Selected Works of Wen-Tsun Wu

Copertina di Rational homotopy type

Rational homotopy type

Copertina di Zhongguo shu xue shi da xi

Zhongguo shu xue shi da xi

Copertina di Zhongguo shu xue shi da xi. fu juan

Zhongguo shu xue shi da xi. fu juan

Copertina di Zhongguo gu dai shu xue jia Qin Jiushao yu "Shu shu jiu zhang" yan jiu

Zhongguo gu dai shu xue jia Qin Jiushao yu "Shu shu jiu zhang" yan jiu

Copertina di Zhongguo gu dai shu xue jia Liu Hui shu xue si xiang yan jiu

Zhongguo gu dai shu xue jia Liu Hui shu xue si xiang yan jiu

Copertina di Shi jie zhu ming ke xue jia zhuan ji

Shi jie zhu ming ke xue jia zhuan ji

Copertina di Proceedings of the International Conference on Takakazu Seki's 300th Death Anniversary

Proceedings of the International Conference on Takakazu Seki's 300th Death Anniversary

Hikosaburo Komatsu, Wen-tsun Wu

Verba volant · scripta manent