Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang's Documents

Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang's Documents

Machine proofs in geometry : automated production of readable proofs for geometry theorems

Machine proofs in geometry : automated production of readable proofs for geometry theorems
Read more
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Read more
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Read more
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Read more
Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)

Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)
Read more
Reconsidering Tu Fu: Literary Greatness and Cultural Context (Cambridge Studies in Chinese History, Literature and Institutions)

Reconsidering Tu Fu: Literary Greatness and Cultural Context (Cambridge Studies in Chinese History, Literature and Institutions)
Read more
Multi-wave mixing processes: from ultrafast polarization beats to electromagnetically induced transparency

Multi-wave mixing processes: from ultrafast polarization beats to electromagnetically induced transparency
Read more
China's Trade Patterns and International Comparative Advantage (Studies on the Chinese Economy)

China's Trade Patterns and International Comparative Advantage (Studies on the Chinese Economy)
Read more
Encyclopedia of Chinese Film

Encyclopedia of Chinese Film
Read more
Report to Congressional Committees

Report to Congressional Committees
Read more
National Animal Identification System

National Animal Identification System
Read more
Liberation As Affirmation: The Religiosity of Zhuangzi And Nietzsche (S U N Y Series in Chinese Philosophy and Culture)

Liberation As Affirmation: The Religiosity of Zhuangzi And Nietzsche (S U N Y Series in Chinese Philosophy and Culture)
Read more
The Stability Theory of Stream Ciphers

The Stability Theory of Stream Ciphers
Read more
The End of Software: Transforming Your Business for the On Demand Future

The End of Software: Transforming Your Business for the On Demand Future
Read more
Theory of Heat Transfer with Forced Convection Film Flows (Heat and Mass Transfer)

Theory of Heat Transfer with Forced Convection Film Flows (Heat and Mass Transfer)
Read more
Handbook on China's WTO Accession and Its Impacts

Handbook on China's WTO Accession and Its Impacts
Read more
Actuarial Science: Theory And Methodology

Actuarial Science: Theory And Methodology
Read more
Actuarial Science

Actuarial Science
Read more
Flexible AC Transmission Systems: Modelling and Control (Power Systems)

Flexible AC Transmission Systems: Modelling and Control (Power Systems)
Read more
AC Machine Systems: Mathematical Model and Parameters, Analysis, and System Performance

AC Machine Systems: Mathematical Model and Parameters, Analysis, and System Performance
Read more
Coherent Control of Four-Wave Mixing

Coherent Control of Four-Wave Mixing
Read more
Indonesian Sea Nomads: Money, Magic and Fear of the Orang Suku Laut (Routledgecurzon-Iias Asian Studies Series)

Indonesian Sea Nomads: Money, Magic and Fear of the Orang Suku Laut (Routledgecurzon-Iias Asian Studies Series)
Read more
Soul Mountain

Soul Mountain
Read more
One Man's Bible

One Man's Bible
Read more
CRC Monographs on Statistics & Applied Probability)

CRC Monographs on Statistics & Applied Probability)
Read more
Auf dem Meer

Auf dem Meer
Read more
One Man's Bible

One Man's Bible
Read more
Innovation in China: The Chinese Software Industry

Innovation in China: The Chinese Software Industry
Read more
Geometric Qp Functions (Frontiers in Mathematics)

Geometric Qp Functions (Frontiers in Mathematics)
Read more
Geometric Qp Functions (Frontiers in Mathematics)

Geometric Qp Functions (Frontiers in Mathematics)
Read more