D. WangBooksAdvances in Neural Network ResearchMechanical Theorem Proving in GeometriesEvolution of Technology in Relationship to Selected Economic Factors 1952-1987/Catalog No.90-029Elimination Methods (Texts and Monographs in Symbolic Computation)Elimination MethodsAuthor data: Open Library
