D. Wang

• Advances in Neural Network Research
• Elimination Methods (Texts and Monographs in Symbolic Computation)
• Elimination Methods
• Elimination Methods
• Evolution of Technology in Relationship to Selected Economic Factors 1952-1987/Catalog No.90-029
• Mechanical Theorem Proving in Geometries