W. Gao's Documents

W. Gao's Documents

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Read more
Combinatorial Mathematics VII. Proc. conf. Newcastle, 1979

Combinatorial Mathematics VII. Proc. conf. Newcastle, 1979
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
Developments in Language Theory: 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Developments in Language Theory: 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
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
Hybrid Electric Vehicles: Principles and Applications with Practical Perspectives

Hybrid Electric Vehicles: Principles and Applications with Practical Perspectives
Read more
Advances in Natural Computation, 2 conf., ICNC 2006

Advances in Natural Computation, 2 conf., ICNC 2006
Read more
Testing and quality assurance for component-based software

Testing and quality assurance for component-based software
Read more
Pro JavaFXв„ў Platform: Script, Desktop and Mobile RIA with Javaв„ў Technology

Pro JavaFXв„ў Platform: Script, Desktop and Mobile RIA with Javaв„ў Technology
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
拓扑空间论(Theory of Topological Spaces)

拓扑空间论(Theory of Topological Spaces)
Read more
Testing and Quality Assurance for Component-Based Software (Artech House Computer Library.)

Testing and Quality Assurance for Component-Based Software (Artech House Computer Library.)
Read more
ENT Secrets

ENT Secrets
Read more
Fortyfikacja stała przed i w czasie I wojny światowej

Fortyfikacja stała przed i w czasie I wojny światowej
Read more
HVAC Water Chillers and Cooling Towers: Fundamentals, Application, and Operation

HVAC Water Chillers and Cooling Towers: Fundamentals, Application, and Operation
Read more
Conference on Group Theory

Conference on Group Theory
Read more
Baculovirus and Insect Cell Expression Protocols

Baculovirus and Insect Cell Expression Protocols
Read more
Physics and Probability: Essays in Honor of Edwin T. Jaynes

Physics and Probability: Essays in Honor of Edwin T. Jaynes
Read more
The New Fowler's Modern English Usage

The New Fowler's Modern English Usage
Read more
The New Fowler's Modern English Usage (New Fowler's Modern English Usage, 3rd Ed)

The New Fowler's Modern English Usage (New Fowler's Modern English Usage, 3rd Ed)
Read more
Computer-assisted organic synthesis

Computer-assisted organic synthesis
Read more
Stock Market Profits

Stock Market Profits
Read more
Advances in Carbohydrate Chemistry

Advances in Carbohydrate Chemistry
Read more
The Concept of Rights (Law and Philosophy Library)

The Concept of Rights (Law and Philosophy Library)
Read more
Experimentation, Validation, and Uncertainty Analysis for Engineers, Third Edition

Experimentation, Validation, and Uncertainty Analysis for Engineers, Third Edition
Read more
ENT Secrets

ENT Secrets
Read more
Flight Control Systems: Practical Issues in Design and Implementation

Flight Control Systems: Practical Issues in Design and Implementation
Read more
Theophrastus of Eresus: Sources for His Life, Writings Thought and Influence (Philosophia Antiqua)

Theophrastus of Eresus: Sources for His Life, Writings Thought and Influence (Philosophia Antiqua)
Read more
Morrey and Campanato meet Besov, Lizorkin and Triebel

Morrey and Campanato meet Besov, Lizorkin and Triebel
Read more
Philosophy of Right

Philosophy of Right
Read more